图解 Monad

函数式编程有一个重要概念,叫做Monad

网上有很多解释(这里这里),但都很抽象,不容易看懂。我尝试了好多次,还是不明白Monad到底是什么。

昨天,我读到了Aditya Bhargava的文章,他画了很多图。我想了半天,终于恍然大悟。下面,我就用这些图来解释Monad。

1.

软件最基本的数据,就是各种值(value)。

2.

处理值的一系列操作,可以封装成函数。输入一个值,会得到另一个值。上图的"(+3)"就是一个函数,对输入的值加上3,再输出。

3.

函数很像漏斗,上面进入一个值,下面出来一个值。

4.

函数可以连接起来使用,一个函数接着另一个函数。

5.

函数还可以依次处理数据集合的每个成员。

6.

说完了函数,再来看第二个概念:数据类型(type)。

数据类型就是对值的一种封装,不仅包括值本身,还包括相关的属性和方法。上图就是2的封装,从此2就不是一个单纯的值,而是一种数据类型的实例,只能在数据类型的场景(context)中使用。

7.

2变成数据类型以后,原来的函数就不能用了。因为"(+3)"这个函数是处理值的(简称"值函数"),而不是处理数据类型的。

8.

我们需要重新定义一种运算。它接受"值函数"和数据类型的实例作为输入参数,使用"值函数"处理后,再输出数据类型的另一个实例。上图的fmap就代表了这种运算。

9.

fmap的内部,实际上是这样:打开封装的数据类型,取出值,用值函数处理以后,再封装回数据类型。

10.

一个有趣的问题来了。如果我们把函数也封装成数据类型,会怎样?

上图就是把函数"(+3)"封装成一种数据类型。

11.

这时,就需要再定义一种新的运算。它不是值与值的运算,也不是值与数据类型的运算,而是数据类型与数据类型的运算。

上图中,两个数据类型进行运算。首先,取出它们各自的值,一个是函数,一个是数值;然后,使用函数处理数值;最后,将函数的返回结果再封装进数据类型。

12.

函数可以返回值,当然也可以返回数据类型。

13.

我们需要的是这样一种函数:它的输入和输出都是数据类型。

14.

这样做的好处是什么?

因为数据类型是带有运算方法的,如果每一步返回的都是数据类型的实例,我们就可以把它们连接起来。

15.

来看一个实例,系统的I/O提供了用户的输入。

16.

getLine函数可以将用户的输入处理成一个字符串类型(STR)的实例。

17.

readfile函数接受STR实例当作文件名,返回一个文件类型的实例。

18.

putStrLn函数将文件内容输出。

19.

所有这些运算连起来,就叫做Monad。

简单说,Monad就是一种设计模式,表示将一个运算过程,通过函数拆解成互相连接的多个步骤。你只要提供下一步运算所需的函数,整个运算就会自动进行下去。

(完)

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏小樱的经验随笔

【正则表达式学习笔记之一】简单认识正则表达式

一、引言   正则表达式是什么东东?   在编写处理字符串的程序或网页时,经常会有查找符合某些复杂规则的字符串的需要。正则表达式就是用于描述这些规则的工具。换句...

21730
来自专栏大数据挖掘DT机器学习

Python NLTK 处理原始文本

关于处理原始文本部分导入语句: >>> from __future__ import division >>> import nltk,re,pprint ...

29850
来自专栏公众号_薛勤的博客

一文看透Java8新特性:lambda表达式和Stream API

借用引言中的示例,在调用new Thread的含参构造方法时,我们通过匿名内部类的方式实现了Runnable对象,但其实有用的代码只有System.out.pr...

12910
来自专栏鸿的学习笔记

Scala简单入门之变量

Scala是一门神奇的语言,作为一个JVM上的编译型语言,它居然有着自己的解释器(Java其实也有)。例如在shell上面输入scala就会进入下面的页面:

16230
来自专栏java一日一条

常见Java面试题 – 第四部分:迭代(iteration)和递归(recursion)

A. 可重入方法(re-entrant method)是可以安全进入的方法,即使同一个方法正在被执行,深入到同一个线程的调用栈里面也不会影响此次执行的安全性。一...

16220
来自专栏Linyb极客之路

JVM 方法内联

调用某个函数实际上将程序执行顺序转移到该函数所存放在内存中某个地址,将函数的程序内容执行完后,再返回到转去执行该函数前的地方。

22640
来自专栏老付的网络博客

如何使用正则表达式

说到正则,可能很多人会很头疼这个东西,除了计算机好像很难快速的读懂这个东西,更不用说如果使用了。下面我们由浅入深来探索下正则表达式:

14920
来自专栏佳爷的后花媛

PHP manual(update)

直接改变数组的值自 PHP 5 起可以通过引用传递来做到。之前的版本需要需要采取变通的方法

17710
来自专栏开发与安全

C++的引用与const指针的关系以及各种传递方式

首先我们知道 const int *p 与 int const *p 是一样的,即 *p 是常量;而 int * const p 跟上面是不一样的,即 p 是常...

20470
来自专栏java学习

java每日一练(2017/8/22)

本期题目 (单选题)1、对于如下代码段可以放入到横线位置,使程序正确编译运行,而且不产生错误的选项是( ) class A{ public A foo()...

30570

扫码关注云+社区

领取腾讯云代金券