就简洁的总结而言——这种对 Monad 的描述似乎胜出 https://stackoverflow.com/questions/2488646/why-are-side-effects-modeled-as-monads-in-haskell- 将它们描述为“不纯计算的类型”。
对 comonad 的等效简洁(一句话)描述是什么?
“上下文相关计算的类型”
或者,更好的 monad 的“简洁描述”可能是“输出杂质的类型”,在这种情况下,comonad 的简洁描述是“输入杂质的类型”。
(如果你对 comonads 感兴趣,我的一些演讲幻灯片中给出了更多介绍:http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)