在the chain documentation 你会发现：
在包装对象上调用
chain将导致所有未来的方法调用 也返回包裹的对象。当你完成 计算，使用value获取最终值。
那么chain 函数会创建一个 monad 吗？
【问题讨论】：
标签： haskell functional-programming monads underscore.js comonad
不，不是单子，而是共子！它将一个接受包装对象并返回正常值的函数转换为一个接受并返回包装对象的函数。作为一个 Haskell 类型签名，它将是：
(Wrapped a -> b) -> (Wrapped a -> Wrapped b)
value的类型签名是：
Wrapped a -> a
这些正是你需要的一个comonad。第一个函数通常称为extend，第二个函数通常称为extract。
您可以将comonad 视为具有一些额外上下文的值。这当然正是chain 所做的。
请参阅this Stackoverflow question 了解更多关于共胞的信息。
【讨论】：
Wrapped a -> bs，但chain 返回一个对象，其方法（value 除外）都是Wrapped a -> Wrapped bs。我知道一点 Haskell，但该问题最初并未标记为 Haskell，因此解释您的答案如何映射到 JS 库可能会有所帮助。
chain:: a => Wrapped a，这使它看起来像一个单子return 或unit .在Wrapped 上使用的方法是method:: Wrapped a -> (a -> b) -> Wrapped b。例如，map 或 reduce (_ -> f -> reduce(_, f, seed))。这看起来像标准的method _ f = fmap f _，每种方法都有不同的 f。除了value 方法，它是:: Wrapped a -> a 并且确实看起来像一个comonadic extract。可能有共胞，但不容易看到。