【函数式】Monads模式初探——Monad概念
title: 【函数式】Monads模式初探——Monad概念
date: 2016-03-01 10:12:21
category: Functional Programming
tags:
- Scala
- Functional Programming
单子
单子(Monad)是一种将函子组合应用的方法。在计算机科学里,单子经常用来代表计算(computation)。单子能用来把与业务无关的通用程序行为抽象出来,比如有用来处理并行(Future)、异常(Option和Try等)、甚至副作用的单子。
单子的flatMap和unit操作作为构建数据类型的基本操作,可以实现很多复杂的高阶函数。
单子的程序描述
Monad定义了unit和flatMap两个函数。Monad都是Functor,因为我们可以用flatMap+unit来实现map。我们可以定义Monad继承自Functor特质。
trait Functor[F[_]] {def map[A, B](fa: F[A])(f: A => B): F[B]
}trait Monad[M[_]] extends Functor[M] {def unit[A](a: A): M[A]def flatMap[A, B](ma: M[A])(f: A => M[B]): M[B]
}
- unit可以看成是Monad的构造函数或者工厂函数,它用来创建一个Monad实例。unit表示“装箱”。
- flatMap和map函数类似,不同的是它接受的参数f返回的是M[B]。flatMap会对Monad里的每一个元素都产生一个新的Monad容器,然后所有这些容器里的元素会被取出,而组合到一个Monad容器里。
- unit,map,flatMap是Monad的三个必要函数,其中map可以由unit和flatMap来实现
def map[A, B](f: A => B): M[B] =flatMap(a => unit(f(a)))
Monad类代码
上面是定义了Monad特质,定义了Monad需要实现的unit和flatMap接口,而实际的monad是指M[_]
这个类型构造器。
而下面的M则是指一个Monad类:
class M[A] {def flatMap[B](f: A => M[B]): M[B] = ...
}def unit[A](x: A): M[A] = ...
其他风格的Monad代码
有的Monad风格是这样的:
trait Monad[M[_]] {def unit[A](a: A): M[A]def flatten[A](mma: M[M[A]]): M[A]
}
上面的flatten也叫join或者bind,它接受一个包裹两层的类型,转换成包裹一层的类型。
其实flatten可以通过flatMap推导出来,def flatten[A](mma: M[M[A]]): M[A] = flatMap(mma)(ma => ma)
,所以这个定义和之前的Monad特质的定义时等价的。
单子法则
结合性法则(associative law)
flatMap满足结合性法则
m flatMap f flatMap g == m flatMap (x => f(x) flatMap g)
Kleisli组合法则(kleisli composition)
Monoid的结合性操作op(a, op(b, c)) == op(op(a, b), c)
,这对于Monad来说,用flatMap难以表达该操作。
如果不对Monadic值M[A]进行结合性操作,而是对Monadic函数A => M[B]证明结合性操作就会相对容易。
A => M[B]
是瑞士数学家Heinrich Kleisli法则的箭头(Kleisli Arrow)。我们可以用Kleisli Arrow来实现一个函数compose:
def compose[A, B, C](f: A => M[B], g: B => M[C]): A => M[C] =a => flatMap(f(a))(g)
compose函数满足compose(f,compose(g,h)) == compose(compose(f,g),h)
。
恒等法则(identity law)
在Monoid中,identity相对于op操作的作用,在Monad中,unit操作是compose函数的元函数。
通过unit我们可以证明Monad的左右恒等:
compose(f,unit) == f
compose(unit,f) == f
unit操作还满足下面两个等式:
unit(x) flatMap f == f(x)
m flatMap unit == m
单子的形象解释
如果说functor是应用一个函数到包裹的值,那么monad则是应用一个返回包裹值的函数到一个包裹的值。
上图表示,首先获得一个Monad,其次定义一个返回Monad的函数如half,最后结果也会返回一个Monad。
这里half函数是输入一个值然后返回一个包裹的值,如果输入的是一个包裹的值,那么代码就不工作了。如下面两幅图所示:
Monad在输入一个包裹值到一个函数的过程中要做到的是:
- 绑定已经解除包裹的值
- 将已经解除包裹的值输入函数
- 一个被重新包裹的值被输出
那么,对一个包裹的值应用多次half函数将是这样的:
小结
Monoid是元素对象的组合的范畴,如果这种元素对象是函数或函子,那么Monad是自函子的组合范畴,Monad也是一种特殊的Monoid子集。
所以正应了那句名言“单子说白了不过就是自函子范畴上的一个幺半群而已(A monad is just a monoid in the category of endofunctors)”。
转载请注明作者Jason Ding及其出处
jasonding.top
Github博客主页(http://blog.jasonding.top/)
CSDN博客(http://blog.csdn.net/jasonding1354)
简书主页(http://www.jianshu.com/users/2bd9b48f6ea8/latest_articles)
Google搜索jasonding1354进入我的博客主页
【函数式】Monads模式初探——Monad概念相关推荐
- 函数式编程 模式_函数式编程模式:食谱
函数式编程 模式 This article targets an audience that's graduating from functional libraries like ramda to ...
- 函数式编程中的重要概念
函数式编程中的重要概念 函数式编程范式的意义 函数类型与高阶函数 部分函数 柯里化 闭包 递归 记忆化 原文地址 函数式编程范式的意义 在众多的编程范式中,大多数开发人员比较熟悉的是面向对象编程范式. ...
- 计算机中专实训方案,中职学校计算机专业实训模式初探
<中职学校计算机专业实训模式初探>由会员分享,可在线阅读,更多相关<中职学校计算机专业实训模式初探(5页珍藏版)>请在人人文库网上搜索. 1.中职学校计算机专业实训模式初探摘要 ...
- 函数式编程中的副作用概念
前言 为了清楚起见,请记住,副作用不是必需的坏事,有时副作用是有用的(尤其是在函数式编程范式之外). 今天聊一聊函数式编程中的隔离思想,它所想隔离的就是"副作用" 我们先从其他角度 ...
- 大端模式和小端模式初探
大端模式和小端模式初探 大端模式和小端模式初探 字节序模式由来 什么是大端和小端 大端模式(Big-Endian) 小端模式(Little-Endian) 示例 优缺点 为什么会有大小端之分呢 如何判 ...
- 计算机英语教学模式,计算机专业英语理实一体化课堂教学模式初探
思维的批判性是指思维活动中善意采用不同的方法去寻找解答问题的于严格地估计思维的材料和精细地检线索:在解决问题的过程中,善于从分查思维过程的能力.心理学家杨清指出析到综合.从综合到分析,全面灵活地个具有 ...
- Android开发之Buidler模式初探结合AlertDialog.Builder解说
什么是Buidler模式呢?就是将一个复杂对象的构建与它的表示分离,使得相同的构建过程能够创建不同的表示.Builder模式是一步一步创建一个复杂的对象,它同意用户能够仅仅通过指定复杂对象 ...
- python函数式编程模式_函数式编程指引
概述¶ 本章介绍函数式编程的基本概念.如您仅想学习 Python 语言的特性,可跳过本章直接查看 迭代器. 编程语言支持通过以下几种方式来解构具体问题: 大多数的编程语言都是 过程式 的,所谓程序就是 ...
- Android开发之Buidler模式初探结合AlertDialog.Builder讲解
什么是Buidler模式呢?就是将一个复杂对象的构建与它的表示分离,使得同样的构建过程可以创建不同的表示.Builder模式是一步一步创建一个复杂的对象,它允许用户可以只通过指定复杂对象的类型和内容就 ...
最新文章
- Linux 技巧:让进程在后台可靠运行的几种方法
- Linux系统编程(四)信号
- java 线程死锁简单例子_java 多线程死锁详解及简单实例
- Ubuntu14.04安装及配置mysql5.7.19
- VS2019打包教程
- mesh和wifi中继的区别_科普:路由器的无线中继和Mesh的区别是什么?
- 应用时间序列分析_时间序列-应用
- 自适应滤波器 | 时域ALE算法
- UE4全套自学视频教程
- UG二次开发GRIP刻字
- python 正数变成负数_初一数学上册第一章有理数1.1正数和负数基础知识概括及同步练习题含解析...
- rsync 错误排除与修复
- 支付宝小程序添加H5域名配置失败原因
- wifi和服务器之间通信协议,安卓和wifi通信协议
- python切割图片地图切图脚本
- Python中当pip安装不成功的解决办法
- 1为数据库查询的数据中加一排序号,2判断为查询出来的字段赋值
- 微信可以找回删除的好友吗?
- 微型计算机原理及应用第四版第七章课后答案,郑学坚微型计算机原理及应用第4版笔记和课后习题答案详解...
- (二)第二部分:Linux下HTTP服务器的搭建
热门文章
- leetcode605.种花问题(简单)
- robots机器人疾风 war_《战争机器人(War Robots)》上线Steam 免费多人在线机器人射击游戏...
- 信号与系统(Python) 学习笔记摘录 (3) LTI 系统 与 滤波器
- RK3568平台开发系列讲解(LCD篇)DRM 显示框架
- ebay注册流程_2017年eBay注册开店流程图文详解
- 关于认证Steamworks注意事项。
- unity创建一个6面体的3D模型,确保它每一个面都是不同的。能旋转每一个面唤醒不同的物品
- android水果APP应用,水果视频-水果视频app安卓版下载-游侠软件下载
- 网页设计与制作(项目二--响应式页面制作)
- Eureka注册中心配置