haw*_*eye 4 monads category-theory comonad
就简洁的总结而言 - 对Monad 的这种描述似乎获胜- 将它们描述为“不纯计算的类型”。
对 comonad 的等效简洁（一句话）描述是什么？
“上下文相关计算的类型”
或者，对 monad 更好的“简洁描述”可能是“输出杂质类型”，在这种情况下，comonad 的简洁描述是“输入杂质类型”。
（如果您对 comonads 感兴趣，我的一些演讲幻灯片中给出了更多介绍：http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011 .pdf )