终于找到了monad的确切解释

写文章的人一定是个大神！我不揣冒昧，把他的文章链接发出来吧：

http://hongjiang.info/semigroup-and-monoid/  依次读，一共七篇文章

http://hongjiang.info/scala/

monad果然是范畴论的概念，解释monad不提范畴论简直是不想让人看懂。

看懂范畴、自函子的概念，发现monad他妈的好简单。至于应用，貌似这个东西在应用上从来都不构成困难。只要理解了概念，一切高枕无忧！

自函子就是一个将范畴映射到自身的函子 (A functor that maps a category to itself)

呵呵，看完只想呵呵。monad其实很简单。