所有Monad的是,在一份“预先确定的和谐”相互之间以及与上帝,最高人民法院单子。
我不能算是精通monad,但是我觉得mondads和multi-methods及macros都差不多。
从你的冠冕或单子,你一定要把在能源和锚到您的火灾或性腺葫芦。
就这样从精神性的单子开始,莱布尼茨建立了他的实体观。
每个Monad的自我激活,这是一种独特的中心力量。
我们没有使用过statemonad,但是用过许多其他很有用的monads。
因此莱布尼茨认为在单子的特性中,最主要的是单子是精神性的,和单子自身具有能动性的力。
1·It's not a monad, but what is it?
这不是一个单子,但它是什么?
2·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出现,但更复杂的实体,即使在副作用的语言是有用的。
3·As always, the IO monad is special and difficult to reason about.
一如既往,IO单子是特别困难的原因有关。
4·Since Pythagorean put forward the concept of monad, then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more.
自公元前六世纪毕达哥拉斯在数学中提出单子概念开始,数学中就出现了不可分量的概念。
5·But it's just one monad.
但这只是一个单子。