图解

最后更新于:2022-04-01 01:24:50

## 1. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af659abe60e.png) 软件最基本的数据,就是各种值(value)。 ## 2. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af659cad7c7.png) 处理值的一系列操作,可以封装成函数。输入一个值,会得到另一个值。上图的"(+3)"就是一个函数,对输入的值加上3,再输出。 ## 3. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af659da8afb.png) 函数很像漏斗,上面进入一个值,下面出来一个值。 ## 4. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af659f36e08.png) 函数可以连接起来使用,一个函数接着另一个函数。 ## 5. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af659f7031c.png) 函数还可以依次处理数据集合的每个成员。 ## 6. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65a0af620.png) 说完了函数,再来看第二个概念:数据类型(type)。 数据类型就是对值的一种封装,不仅包括值本身,还包括相关的属性和方法。上图就是2的封装,从此2就不是一个单纯的值,而是一种数据类型的实例,只能在数据类型的场景(context)中使用。 ## 7. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65a22889f.png) 2变成数据类型以后,原来的函数就不能用了。因为"(+3)"这个函数是处理值的(简称"值函数"),而不是处理数据类型的。 ## 8. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65a76e00f.png) 我们需要重新定义一种运算。它接受"值函数"和数据类型的实例作为输入参数,使用"值函数"处理后,再输出数据类型的另一个实例。上图的fmap就代表了这种运算。 ## 9. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65ad1e57b.png) fmap的内部,实际上是这样:打开封装的数据类型,取出值,用值函数处理以后,再封装回数据类型。 ## 10. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65b19d09d.png) 一个有趣的问题来了。如果我们把函数也封装成数据类型,会怎样? 上图就是把函数"(+3)"封装成一种数据类型。 ## 11. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65b4b3539.png) 这时,就需要再定义一种新的运算。它不是值与值的运算,也不是值与数据类型的运算,而是数据类型与数据类型的运算。 上图中,两个数据类型进行运算。首先,取出它们各自的值,一个是函数,一个是数值;然后,使用函数处理数值;最后,将函数的返回结果再封装进数据类型。 ## 12. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65bab37cd.png) 函数可以返回值,当然也可以返回数据类型。 ## 13. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65bb2c16d.png) 我们需要的是这样一种函数:它的输入和输出都是数据类型。 ## 14. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65bbdd140.png) 这样做的好处是什么? 因为数据类型是带有运算方法的,如果每一步返回的都是数据类型的实例,我们就可以把它们连接起来。 ## 15. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65c4cb8f0.png) 来看一个实例,系统的I/O提供了用户的输入。 ## 16. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65cb5bd5e.png) getLine函数可以将用户的输入处理成一个字符串类型(STR)的实例。 ## 17. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65cb8f757.png) readfile函数接受STR实例当作文件名,返回一个文件类型的实例。 ## 18. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65cc15b4e.png) putStrLn函数将文件内容输出。 ## 19. ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af65cd189c3.png) 所有这些运算连起来,就叫做Monad。 简单说,Monad就是一种设计模式,表示将一个运算过程,通过函数拆解成互相连接的多个步骤。你只要提供下一步运算所需的函数,整个运算就会自动进行下去。
';

前言

最后更新于:2022-04-01 01:24:48

> 来源:http://www.ruanyifeng.com/blog/2015/07/monad.html > 作者:阮一峰 函数式编程有一个重要概念,叫做[Monad](https://en.wikipedia.org/wiki/Monad_%28functional_programming%29)。 ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af6560c8a4c.jpg) 网上有很多解释([这里](http://stackoverflow.com/questions/2704652/monad-in-plain-english-for-the-oop-programmer-with-no-fp-background)和[这里](http://stackoverflow.com/questions/44965/what-is-a-monad)),但都很抽象,不容易看懂。我尝试了好多次,还是不明白Monad到底是什么。 ![](https://docs.gechiui.com/gc-content/uploads/sites/kancloud/2015-07-22_55af6564d88e7.jpg) 昨天,我读到了[Aditya Bhargava](http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html)的文章,他画了很多图。我想了半天,终于恍然大悟。下面,我就用这些图来解释Monad。
';