oop - 每个返回 `this` 的方法都是单子(monad)吗？

Question

是返回 this 的类上的每个方法吗？一个单子(monad)？

Answer 1

我要说一个非常谨慎的“可能”。其中很多取决于您的定义。

值得注意的是，我从 category theory construct 中获取了 monad 的定义。 ，而不是 functional programming construct .

如果你想到一个方法A类(class) C映射 C实例到另一个 C实例(即它返回 this )，那么这似乎是 C.A()是由 C 组成的范畴的仿函数对自身的实例化。因此，至少它是一个内仿函数。看起来这种结构符合我们所期望的基本身份和关联性属性，但需要进一步检查才能确定。

无论如何，我不会赌上我的生命，我不确定这是思考这种结构的一种非常有用的方式，但至少在第一次检查时它似乎是一个合理的假设。