Tag: typeclass comonad

什么是Haskell中的Comonadtypes类？

什么是Haskell中的Comonadtypes类？ 如Comonad包中的Control.Comonad中的Comonad （也提供对提供Comonadtypes类的任何其他包的解释）。 我隐约听说过Comonad，但是我真正知道的是，它提供了extract :: wa -> a ，类似于Monad的return :: a -> ma 。 在“真实”的代码中注明Comonad的“真实生活”用法的加分。