第五章 针对复杂应用的设计模式

面向对象抛异常的机制让函数变得不纯，把大部分的责任都推到了调用者的尝试（try-catch逻辑）上。
把值包裹到容器中的模式是为了构建无副作用的代码，把可能不纯的变化包裹成引用透明的过程。
使用Functor将函数应用到容器中的值，这是无副作用地、不可变地访问和修改操作。
Monad是函数式中用来降低应用复杂度的设计模式，通过这种模式可以将函数编排成安全的数据流程。
交错的组合函数和Monadic类型是非常有弹性且强大的，如Maybe, Either和IO。