It's not a monad, but what is it?

这不是一个单子，但它是什么？

But it's just one monad.

但这只是一个单子。

As always, the IO monad is special and difficult to reason about.

一如既往，IO单子是特别困难的原因有关。

We haven't used the state monad, but there are lots of other useful monads.

我们没有使用过state monad，但是用过许多其他很有用的monads。

Is there a monad that doesn't have a corresponding monad transformer (except IO)?

是有一个单子，没有相应的单子转换器(除IO) ？

In such a world I do not see so much of a need for absolute purity and an IO monad.

在这个世界上，我没有看到这么多的一个绝对的纯度和IO单子需要。

To go further, introducing something like a Parser monad is a favorite example of mine.

更进一步，将像一个解析器的单子是我最喜欢的例子。

I am not a monad master by any means, but I feel similarly about mondads as I do about multi-methods and macros.

我不能算是精通monad，但是我觉得mondads和multi-methods及macros都差不多。

In the same way, intelligence at DNA's level designed and fabricated from monad to multi-cell being then to human.

同理，DNA层次的智力，也是一步一步设计制造出单细胞生物、细胞生物，直至自诩为万物之灵的人类。

Since Pythagorean put forward the concept of monad, then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more.

自公元前六世纪毕达哥拉斯在数学中提出单子概念开始，数学中就出现了不可分量的概念。

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出现，但更复杂的实体，即使在副作用的语言是有用的。

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.

在莱布尼茨看来，单子就是组成复合物的基础实体，每一个单子内部都以一种单纯、稳定的方式储存了宇宙的全部信息。

Post-Modern agnosticism stressed the monad of subject world by attempting to transcend the dichotomy of subject and object, which is an extreme agnosticism.

现代不可知论在试图超越主客二元分立的认识方式的基础上，强调主体世界的一元性，而走向一种彻底的不可知论。