Haskell中的Comonad类型类是什么？作为Comonad从Control.Comonad在comonad包(即提供Comonad类型类也是任何其他包的说明欢迎).我模糊地听说过Comonad,但我真正知道的是它提供的extract :: w a -> a,与Monad相似return :: a -> m a.
在"真实"代码中注意Comonad的"真实生活"用途的奖励积分.
这种类型让我大吃一惊:
class Contravariant (f :: * -> *) where
contramap :: (a -> b) -> f b -> f a
然后我读了这个,但与标题相反,我不再开悟了.
有人可以解释逆变函子是什么以及一些例子吗？