monad重新理解

monad是高阶抽象类型；

包含类型构造器；

 

monad抽象的核心是类型封装和类型转化（map）。

 

实现monad的的类型必须实现（基础）类型的封装和类型转化的功能；

在此基础上实现其他的功能（基本依赖于map）；

实现类型的衍生功能依赖于map的实现；

转载于:https://www.cnblogs.com/feng9exe/p/10311680.html