单子

维基百科,自由的百科全书
跳转至: 导航搜索

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

单子的构造包括定义两个操作bind和return,还有一个必须满足若干性质的类型构造器M。