转载

Monad备忘录

最近需要补的东西较多，疏于打理关于Monad的学习笔记，所以赶在到公历新年前，先整理出一部分，以备忘：

是什么?

A monad is just a monoid in the category of endofunctors, what’s the problem?

单子不过是一个自函子范畴上的半幺群

Monad备忘录（monad，也译单体）是函数式编程中的一种抽象数据类型，其特别之处在于，它是用来表示计算而不是数据的。在以函数式风格编写的程序中，单子可以用来组织包含有序操作的过程，或者用来定义任意的控制流（比如处理并发、异常、延续）。

单子的构造包括定义两个操作return和bind（在有的语言里是unit/id和flatMap)，还有一个必须满足若干性质的类型构造器M。

Monad三公理：

Monad 可以理解为 可连接的运算符 ，或者 可连接的对值进行操作的上下文 ：

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

使用它，可以轻松的实现可连接的运算：

Prelude> [2, 4, 6] >>= (/x -> [x*x]) >>= (/x -> [x-1])

输出：

[3,15,35]

原文 http://www.moye.me/2016/12/11/memo-of-monad/

正文到此结束

所属分类：编程技术

本站定位：个人技术类博客

本站作用：写博客、记日志、闲聊扯淡鼓捣技术。