在简洁的总结方面 - this description of Monads seems to win - 将它们描述为“不纯计算类型”。
什么是 comonad 的等效精炼(一句话)描述？
最佳答案
“一种用于上下文相关计算的类型”
或者，对单子(monad)更好的“简洁描述”可能是“输出杂质类型”，在这种情况下，共子的简洁描述是“输入杂质类型”。
(如果你对 comonads 感兴趣，在我的一些演讲幻灯片中给出了更多的介绍: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf )
关于monads - comonad 的简洁摘要。 (其中 monad 是 'type for impure computation' )，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/17590842/