Haskell 中的 Comonad 类型类是什么?正如 Comonad 中的comonad 包中的 Control.Comonad http://hackage.haskell.org/packages/archive/comonad/1.1.1.1/doc/html/Control-Comonad.html(也欢迎提供 Comonad 类型类的任何其他包的解释)。我隐约听说过 Comonad,但我真正了解的是它提供了extract :: w a -> a
,有点类似于 Monad 的return :: a -> m a
.
如果在“真实”代码中注意到 Comonad 在“现实生活”中的使用,则会获得奖励积分。
这些链接可能会有所帮助:
-
评估元胞自动机是共性的 http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html。特别是,“每当你看到大型数据结构由大量小型但相似的计算拼凑而成时,我们很有可能正在处理一个共同的问题”。
- 序列、流和段 http://conal.net/blog/posts/sequences-streams-and-segments
- 日常生活中的常见现象 http://fmapfixreturn.wordpress.com/2008/07/09/comonads-in-everyday-life/
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)