Haskell 中的Monad 小记

monad基本上可以解释为实现了lift,bind操作的类型类。具体解释可以参考wikipidia上的定义

Monad构成自三个部份：

类型构造子 mmm，建造一个Monad类型mTm\space\space Tm T
类型转换子，经常叫做unit或return，将一个对象x嵌入到Monad中：

   unit(x) :: x -> Monad x

组合子，典型的叫做bind（约束变量的那个bind），并表示为中缀算子(>>=)，去包装一个Monad变量，接着把它插入到一个Monad函数/表达式之中，结果为一个新的Monad：

(>>=) :: forall a b. m a -> (a -> m b) -> m b

1. 解释 (>>=)

(>>=) 是一个二元运算符，它接受两个参数，一个参数是一个Monad(m a),一个参数是一个function(a -> m b).这个function接受的是一个a,返回是一个Monad(m b)
这个运算符做的事情可以理解为，将第一个参数(m a)解包，解出a,按照第二个参数，及那个函数指定的方法得到新的Monad,即(m b)
可以将其理解成 拆解 && 连接

看一个例子
这个例子来源于一个Monad 叫做Maybe.
add mx my = mx >>= λx -> (my >>= λy -> Just (x + y))
λ代表的是匿名函数.Just是Maybe类型的其中一个值构造器。
通过解释上边的例子，可以理解>>=这个运算符
mx解包成x,带入后边的匿名函数中。后边的匿名函数需要输入一个my.然后将y解包，组合x + y后进入Just值构造器。

接下來，看haskell的语法实现和do语法糖

add mx my =mx >>= (\x ->my >>= (\y ->return (x + y)))

实现了上边写的add函数。用do语法糖就可以写成下边的形式.注意，do后语句在不加大括号和分号分割的情况下，缩进要一致。

add mx my = dox <- mxy <- myreturn (x + y)

haskell中的Monad小记相关推荐

也就是说，Haskell中的monad还是遵守范畴论的定义，只是应用到计算机当中罢了？...
是的,这是正确的.Haskell中的monad遵循范畴论中的定义,但它们是应用于计算机编程语言中的.在Haskell中,monad是一种结构,它允许程序员将复杂的计算流程组织起来,使得代码更加简洁易读 ...
Haskell 中的 Monad 和 IO
对于 Haskell 初学者来说,Monad 和 IO 或许是掌握 Haskell 之路上的第一大难关.本文将会以尽量浅显的方式介绍 Monad 和 IO 背后的原理和设计思想,希望能够给 Haske ...
Haskell：理解Haskell中的CPS（Cont）
Haskell中的CPS在Control.Monad.Trans.Cont中定义,文档见于docs,源码见于code. 源码重要的部分主要有三处:1. Cont的定义和一系列方法, 2. ContT ...
asp.net mvc3 Razor引擎中@使用规则小记
项目中前台用的是asp.net mvc3,Razor引擎(关于Razor的介绍可以参考:http://weblogs.asp.net/scottgu/archive/2010/07/02/introd ...
express 框架中的参数小记
首发地址:https://clarencep.com/2017/04... 转载请注明出处注意:req.params 只有在参数化的路径中的参数.查询字符串中的参数要用 req.query. 比如: ...
Java工程中使用Log4j小记
1.工程中引入log4j的jar包,可到http://logging.apache.org/log4j/1.2/download.html下载: 2.在src目录下配置log4j.properties ...
stateflow中终止节点小记
对于下面这个节点,当after(5,tick)发生后激活b状态,再当after(1,tick)发生后,执行a1=1,执行完后状态回到b,而不是结束.(这里是回到状态b,不是又进入状态b,所以状态b中的 ...
看最强大脑中英PK小记
约束记录表简朴勤劳谦虚诚恳禁止浪费珍惜时间虚心学习纯心做人 0 0 0 - 节制静默条理决断不恋吃睡开口有益规整事务坚持,迅捷 0 - 0 0 正直中庸整洁宁静贞 ...
scapy python_Python中使用Scapy小记
本帖最后由灵·冥于 2013-1-16 19:15 编辑原文转自我自己的个人博客: http://www.xsecure.cn/1/post/2012/12/python_scapy.html ...

haskell中的Monad小记

Haskell 中的Monad 小记

1. 解释 (>>=)

haskell中的Monad小记相关推荐

最新文章

热门文章