scala - Scala 中的 Comonad 示例

Question

Comonad 是什么，如果可以用 Scala 语法描述的话。我发现scalaz库实现，但尚不清楚它在哪里有用。

Answer 1

嗯，monad 允许您向它们添加值，并根据从非 monad 到 monad 的计算来更改它们。 Comonad 允许您从中提取值，并根据计算将它们从 comonad 更改为非 comonad。

自然的直觉是它们通常会出现在您有 CM[A] 并想要提取 A 的地方。

参见this非常有趣的帖子，有点随意地触及了 comonad，但是，至少对我来说，使它们非常清晰。