1
为什么semigroups包中的NonEmpty列表不是也是comonad类的实例?NonEmpty不是Comonad?
为什么semigroups包中的NonEmpty列表不是也是comonad类的实例?NonEmpty不是Comonad?
它是。该实例在comonad包刚刚定义,而不是半群包,
http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad
现在,就是我所说的一个答案! – user2023370 2011-05-26 21:25:49