For Leibniz, a Monad is part of a fundamental multiplicity and each one, within its heart, carries all the information of the universe in a single, stable form.
在莱布尼茨看来，单子就是组成复合物的基础实体，每一个单子内部都以一种单纯、稳定的方式储存了宇宙的全部信息。
It's not a monad, but what is it?
这不是一个单子，但它是什么？
But it's just one monad. As you've mentioned, Failure shows up in LINQ, but more sophisticated monads are useful even in a side-effecting language.
但这只是一个单子。如你所说，失败的LINQ出现，但更复杂的实体，即使在副作用的语言是有用的。
As always, the IO monad is special and difficult to reason about.
一如既往，IO单子是特别困难的原因有关。
Is there a monad that doesn't have a corresponding monad transformer (except IO)?
是有一个单子，没有相应的单子转换器(除IO) ？
Since Pythagorean put forward the concept of monad, then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more.
自公元前六世纪毕达哥拉斯在数学中提出单子概念开始，数学中就出现了不可分量的概念。
但这只是一个单子。
To go further, introducing something like a Parser monad is a favorite example of mine.
更进一步，将像一个解析器的单子是我最喜欢的例子。
In such a world I do not see so much of a need for absolute purity and an IO monad.
在这个世界上，我没有看到这么多的一个绝对的纯度和IO单子需要。
In such a world I do not see so much of a need for absolute purity and an IO monad.
在这个世界上，我没有看到这么多的一个绝对的纯度和IO单子需要。
应用推荐