haskell - Haskell中的Comonad类型类是什么？

Haskell中的Comonad类型类是什么？与Control.Comonad in the comonad package中的Comonad一样(也欢迎对提供Comonad类型类的任何其他包进行解释)。我已经模糊地听说过Comonad，但是我真正了解的是它提供了extract :: w a -> a，类似于Monad的return :: a -> m a。

在“真实”代码中指出Comonad的“真实生活”用法的加分点。

最佳答案

这些链接可能会有所帮助:

Evaluating cellular automata is comonadic。特别是，“只要您看到大量的数据结构都由许多小的但相似的计算拼凑而成，就有很大的机会我们正在处理一个comonad”。

Sequences, streams, and segments

Comonads in everyday life