Monad

2020-06-22

Ann Ann

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

  1.  

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

  1.  

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

  1.  

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

  1.  

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

  1.  

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

  1.  

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

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

  1.  

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

  1.  

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

  1.  

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

  1.  

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

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

  1.  

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

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

  1.  

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

  1.  

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

  1.  

这样做的好处是什么?

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

  1.  

来看一个实例,用户输入一个值10。

  1.  

getLine函数可以将它处理成一个STR类型的实例。

  1.  

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

  1.  

putStrLn函数将文件内容输出。

  1.  

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

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

近期开课hot
logo

Follow Us

linkedinfacebooktwitterinstagramweiboyoutubebilibilitiktokxigua

We Accept

/image/layout/pay-paypal.png/image/layout/pay-visa.png/image/layout/pay-master-card.png/image/layout/pay-stripe.png/image/layout/pay-alipay.png

地址

Level 10b, 144 Edward Street, Brisbane CBD(Headquarter)
Level 8, 11 York st, Wynyard, Sydney CBD
Business Hub, 155 Waymouth St, Adelaide SA 5000

Disclaimer

footer-disclaimerfooter-disclaimer

JR Academy acknowledges Traditional Owners of Country throughout Australia and recognises the continuing connection to lands, waters and communities. We pay our respect to Aboriginal and Torres Strait Islander cultures; and to Elders past and present. Aboriginal and Torres Strait Islander peoples should be aware that this website may contain images or names of people who have since passed away.

匠人学院网站上的所有内容,包括课程材料、徽标和匠人学院网站上提供的信息,均受澳大利亚政府知识产权法的保护。严禁未经授权使用、销售、分发、复制或修改。违规行为可能会导致法律诉讼。通过访问我们的网站,您同意尊重我们的知识产权。 JR Academy Pty Ltd 保留所有权利,包括专利、商标和版权。任何侵权行为都将受到法律追究。查看用户协议

© 2017-2024 JR Academy Pty Ltd. All rights reserved.

ABN 26621887572