每个学习monad的人都要写一份自己理解的monad。然后还是包括自己没人能看到自己在写啥，而且大部分写的还是错误的。

        距离学习monad有接近2周了，已经挺模糊了。

        monad我理解有两个基本作用：

1. 能够对全部的返回值做链式调用。只能封装成monad的形式，才能保证返回的是一个符合monad要求的对象，可以一直去链式调用

2. 将结果有变化的地方，用monad进行封装。骗自己说是封装的是行为，不是结果。美其名曰将变化的部分为了将副作用局限在一个可控的范围内。

monad就是自函子范畴上的幺半群。

        1. 自函子范畴

        A monad is a monoid in the category of endofunctors. Whats the problem?

1. 为什么叫范畴。就是因为可以存在f*g*m 等等这种多层复合映射，而不是只有单一的f(x)这种单一映射。为了表示这种多层复合映射，因此这里应该叫范畴才行

2. 自函子。应该就是指f*g*m这种复合映射的定义域和值域是同一个。

3. 幺半群其实就是重点理解return其实是一个单位元。

幺半群的三个特性，本质上就是为了可以有效的进行链式操作。同时结合律的特性保证了函数式程序的编译执行过程中，可以自主进行函数的优化结合进行性能优化。

函数式编程——Functor、Applicative、Monad | 楚权的世界

函数式夜点心：IO Monad 与副作用处理