我最近试图找到一个关于 monads 和 monoids 之间区别的好资料。
有人可以提供一个链接到一个很好的资源,或者花点时间来详细说明相似之处/不同之处?
我最近试图找到一个关于 monads 和 monoids 之间区别的好资料。
有人可以提供一个链接到一个很好的资源,或者花点时间来详细说明相似之处/不同之处?
单子是内函子类别中的幺半群。因此,monad 只是 monoid 的一个例子,这是一个更一般的概念。
而且,虽然这在技术上可能是正确的,但最简单的答案是 monads 和 monoids 真的不一样,你不应该试图了解它们之间的区别,而只是学习它们。互联网上有大量关于它的材料,很容易用谷歌搜索。
请参阅此答案,了解为什么 monads 是 monoidal 类别中 monoids 的特殊情况。然而,后者是通过二元运算和单位定义的经典幺半群的概括。Monad 不是经典的幺半群。有关更多详细信息和解释,请参阅答案。