问comonad的精辟总结。(其中monad是“用于不纯计算的类型”)
EN

Stack Overflow用户

提问于 2013-07-11 18:19:22

回答 1查看 376关注 0票数 4

就简明扼要的总结而言-- this description of Monads seems to win --将它们描述为“用于不纯计算的类型”。

什么是对comonad的相当简洁(一句话)的描述？

回答已采纳

发布于 2013-07-11 20:24:18

“一种上下文相关计算的类型”

或者，对monad更好的“简洁描述”可能是“输出杂质类型”，在这种情况下，comonads的简洁描述是“输入杂质类型”。

(如果你对comonads感兴趣，在我的一些演讲幻灯片中有更多的介绍：http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)

票数 4

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/17590842

复制

相似问题

问comonad的精辟总结。(其中monad是“用于不纯计算的类型”)EN