就简洁的摘要而言——这种对 Monads 的描述似乎更胜一筹——将它们描述为“用于不纯计算的类型”。
什么是comonad的等效简洁（一句话）描述？
问问题
384 次
1 回答
5
“一种上下文相关计算的类型”
或者，对单子更好的“简洁描述”可能是“输出杂质的类型”，在这种情况下，对单子的简洁描述是“输入杂质的类型”。
（如果你对comonads感兴趣，在我的一些演讲幻灯片中给出了更多介绍：http: //www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011 .pdf )
于 2013-07-11T12:24:18.073 回答