通过前面的几篇讨论我们了解到F[T]就是FP中运算的表达形式（representation of computation）。在这里F[]不仅仅是一种高阶类型，它还代表了一种运算协议（computation protocol）或者称为运算模型好点，如IO[T]，Option[T]。运算模型规范了运算值T的运算方式。而Monad是一种特殊的FP运算模型M[A]，它是一种持续运算模式。通过flatM

在前面的几篇讨论里我们初步对FP有了些少了解K：FP嘛，不就是F[A]吗？也是，FP就是在F[]壳子（context）内对程序的状态进行更改，也就是在F壳子（context）内施用一些函数。再直白一点就是在F壳子内进行OOP惯用的行令编程（imperative programming）。当然，既然是在壳子（context）内进行编程这种新的模式，那么总需要些新的函数施用方法吧。我们再次审视一下以前

前面提到了scalaz是个函数式编程（FP）工具库。它提供了许多新的数据类型、拓展的标准类型及完整的一套typeclass来支持scala语言的函数式编程模式。我们知道：对于任何类型，我们只需要实现这个类型的typeclass实例就可以在对这个类型施用所对应typeclass提供的所有组件函数了（combinator）。突然之间我们的焦点好像都放在了如何获取typeclass实例上了，从而

Monad typeclass不是一种类型，而是一种程序设计模式（design pattern），是泛函编程中最重要的编程概念，因而很多行内人把FP又称为Monadic Programming。这其中透露的Monad重要性则不言而喻。Scalaz是通过Monad typeclass为数据运算的程序提供了一套规范的编程方式，如常见的for-comprehension。而不同类型的Monad实

IO函子 IO函子中的_value是一个函数，这里把函数作为值来处理。IO函子可以把不纯的动作存储到_ value中，延迟执行这个不纯的操作（惰性执行），包装当前的操作纯。把不纯的操作交给调用者来处理。 const fp = require("lodash/fp");class IO {static of(x) {return new IO(function () {return x;});

文章目录 0. 前言1. 一些数学概念（该小节可以跳过）1.1 半群 与 幺半群1.2 范畴、态射 与 同态1.3 函子 与 自函子1.4 Monad 2. Monad 的一个模型3. Kotlin 中的 Monad3.1 一段代码3.2 考虑异常情况3.3 并行回调3.4 抽象工作流3.5 Monad 4. Option、Either、Result5. Effect --- 协程版本的 E