我知道monad是什么.我想我已经正确地把我的想法包围在一个comonad是什么.(或者说,什么人是看起来非常简单,最棘手的部分是理解什么是有用的这个...)
我的问题是:有什么东西可以成为monad 和 comonad吗?
我预见到两个可能的答案:
那么,这是什么?
haskell category-theory
category-theory ×1
haskell ×1