Promise是Monad吗?
译者按: 近年来,函数式语言的特性都被其它语言学过去了。
原文: Functional Computational Thinking — What is a monad?
译者: Fundebug
为了保证可读性,本文采用意译而非直译。另外,本文版权归原作者所有,翻译仅用于学习。
如果你使用函数式编程,不管有没有用过函数式语言,在某总程度上已经使用过Monad。可能大多数人都不知道什么叫做Monad。在这篇文章中,我不会用数学公式来解释什么是Moand,也不使用Haskell,而是用JavaScript直接写Monad。
作为一个函数式程序员,我首先来介绍一下基础的复合函数:
const add1 = x => x + 1
const mul3 = x => x * 3
const composeF = (f, g) => {
return x => f(g(x))
}
const addOneThenMul3 = composeF(mul3, add1)
console.log(addOneThenMul3(4)) // 打印 15
|
复合函数composeF
接收f
和g
两个参数,然后返回值是一个函数。该函数接收一个参数x
, 先将函数g
作用到x
, 其返回值作为另一个函数f
的输入。
addOneThenMul3
是我们通过composeF
定义的一个新的函数:由mul3
和add1
复合而成。
接下来看另一个实际的例子:我们有两个文件,第一个文件存储了第二个文件的路径,第二个文件包含了我们想要取出来的内容。使用刚刚定义的复合函数composeF
, 我们可以简单的搞定:
const readFileSync = path => {
return fs.readFileSync(path.trim()).toString()
}
const readFileContentSync = composeF(readFileSync, readFileSync)
console.log(readFileContentSync('./file1'))
|
readFileSync
是一个阻塞函数,接收一个参数path
,并返回文件中的内容。我们使用composeF
函数将两个readFileSync
复合起来,就达到我们的目的。是不是很简洁?
但如果readFile
函数是异步的呢?如果你用Node.js
写过代码的话,应该对回调很熟悉。在函数式语言里面,有一个更加正式的名字:continuation-passing style 或则 CPS。
我们通过如下函数读取文件内容:
const readFileCPS = (path, cb) => {
fs.readFile(
path.trim(),
(err, data) => {
const result = data.toString()
cb(result)
}
)
}
|
但是有一个问题:我们不能使用composeF
了。因为readCPS
函数本身不在返回任何东西。
我们可以重新定义一个复合函数composeCPS
,如下:
const composeCPS = (g, f) => {
return (x, cb) => {
g(x, y => {
f(y, z => {
cb(z)
})
})
}
}
const readFileContentCPS = composeCPS(readFileCPS, readFileCPS)
readFileContentCPS('./file1', result => console.log(result))
|
注意:在composeCPS
中,我交换了参数的顺序。composeCPS
会首先调用函数g
,在g
的回调函数中,再调用f
, 最终通过cb
返回值。
接下来,我们来一步一步改进我们定义的函数。
第一步,我们稍微改写一下readFIleCPS
函数:
const readFileHOF = path => cb => {
readFileCPS(path, cb)
}
|
HOF
是 High Order Function (高阶函数)的缩写。我们可以这样理解readFileHOF
: 接收一个为path
的参数,返回一个新的函数。该函数接收cb
作为参数,并调用readFileCPS
函数。
并且,定义一个新的复合函数:
const composeHOF = (g, f) => {
return x => cb => {
g(x)(y => {
f(y)(cb)
})
}
}
const readFileContentHOF = composeHOF(readFileHOF, readFileHOF)
readFileContentHOF('./file1')(result => console.log(result))
|
第二步,我们接着改进readFileHOF
函数:
const readFileEXEC = path => {
return {
exec: cb => {
readFileCPS(path, cb)
}
}
}
|
readFileEXEC
函数返回一个对象,对象中包含一个exec
属性,而且exec
是一个函数。
同样,我们再改进复合函数:
const composeEXEC = (g, f) => {
return x => {
return {
exec: cb => {
g(x).exec(y => {
f(y).exec(cb)
})
}
}
}
}
const readFileContentEXEC = composeEXEC(readFileEXEC, readFileEXEC)
readFileContentEXEC('./file1').exec(result => console.log(result))
|
现在我们来定义一个帮助函数:
const createExecObj = exec => ({exec})
|
该函数返回一个对象,包含一个exec
属性。
我们使用该函数来优化readFileEXEC
函数:
const readFileEXEC2 = path => {
return createExecObj(cb => {
readFileCPS(path, cb)
})
}
|
readFileEXEC2
接收一个path
参数,返回一个exec
对象。
接下来,我们要做出重大改进,请注意!
迄今为止,所以的复合函数的两个参数都是huan’hnh函数,接下来我们把第一个参数改成exec
对象。
const bindExec = (execObj, f) => {
return createExecObj(cb => {
execObj.exec(y => {
f(y).exec(cb)
})
})
}
|
该bindExec
函数返回一个新的exec
对象。
我们使用bindExec
来定义读写文件的函数:
const readFile2EXEC2 = bindExec(
readFileEXEC2('./file1'),
readFileEXEC2
)
readFile2EXEC2.exec(result => console.log(result))
|
如果不是很清楚,我们可以这样写:
bindExec(
readFileEXEC2('./file1'),
readFileEXEC2
)
.exec(result => console.log(result))
|
我们接下来把bindExec
函数放入exec
对象中:
const createExecObj = exec => ({
exec,
bind(f) {
return createExecObj(cb => {
this.exec(y => {
f(y).exec(cb)
})
})
}
})
|
如何使用呢?
readFileEXEC2('./file1')
.bind(readFileEXEC2)
.exec(result => console.log(result))
|
这已经和在函数式语言Haskell里面使用Monad几乎一模一样了。
我们来做点重命名:
- readFileEXEC2 -> readFileAsync
- bind -> then
- exec -> done
readFileAsync('./file1')
.then(readFileAsync)
.done(result => console.log(result))
|
发现了吗?竟然是Promise!
Monad在哪里呢?
从composeCPS
开始,都是Monad.
readFIleCPS
是Monad。事实上,它在Haskell里面被称作Cont Monad;exec 对象
是一个Monad。事实上,它在Haskell里面被称作IO Monad。
Monad 有什么性质呢?
- 它有一个环境;
- 这个环境里面不一定有值;
- 提供一个获取该值的方法;
- 有一个
bind
函数可以把值从第一个参数Monad
中取出来,并调用第二个参数函数
。第二个函数要返回一个Monad。并且该返回的Monad类型要和第一个参数相同。
数组也可以成为Monad
Array.prototype.flatMap = function(f) {
const r = []
for (var i = 0; i < this.length; i++) {
f(this[i]).forEach(v => {
r.push(v)
})
}
return r
}
const arr = [1, 2, 3]
const addOneToThree = a => [a, a + 1, a + 2]
console.log(arr.map(addOneToThree))
// [ [ 1, 2, 3 ], [ 2, 3, 4 ], [ 3, 4, 5 ] ]
console.log(arr.flatMap(addOneToThree))
// [ 1, 2, 3, 2, 3, 4, 3, 4, 5 ]
|
我们可以验证:
- [] 是环境
- []可以为空,值不一定存在;
- 通过
forEach
可以获取; - 我们定义了
flatMap
来作为bind
函数。
结论
Monad是回调函数
?
根据性质3,是的。回调函数式Monad
?
不是,除非有定义bind
函数。
欢迎加入我们Fundebug的全栈BUG监控交流群: 622902485。
版权声明:
转载时请注明作者Fundebug以及本文地址:
https://blog.fundebug.com/2017/06/21/write-monad-in-js/#more
Promise是Monad吗?的更多相关文章
- 转评:你造promise就是monad吗
看到一遍好文章,与我的想法如出一辙,先转为敬.首先说说我对Monad和promise的理解: Monad的这种抽象方式是为了简化程序中不确定状态的判断而提出的,能够让程序员从更高的层次顺序描述程序逻辑 ...
- 函数式JS: 原来promise是这样的monad
转载请注明出处: http://hai.li/2017/03/27/prom... 背景 上篇文章 函数式JS: 一种continuation monad推导 得到了一个类似promise的链式调用, ...
- Js-函数式编程
前言 JavaScript是一门多范式语言,即可使用OOP(面向对象),也可以使用FP(函数式),由于笔者最近在学习React相关的技术栈,想进一步深入了解其思想,所以学习了一些FP相关的知识点,本文 ...
- Functional Programming without Lambda - Part 2 Lifting, Functor, Monad
Lifting Now, let's review map from another perspective. map :: (T -> R) -> [T] -> [R] accep ...
- 指令式Callback,函数式Promise:对node.js的一声叹息
原文:Callbacks are imperative, promises are functional: Node's biggest missed opportunity promises 天生就 ...
- Monad / Functor / Applicative 浅析
前言 Swift 其实比 Objective-C 复杂很多,相对于出生于上世纪 80 年代的 Objective-C 来说,Swift 融入了大量新特性.这也使得我们学习掌握这门语言变得相对来说更加困 ...
- 一个Monad的不严谨介绍
一个单子(Monad)说白了不过就是自函子范畴上的一个幺半群而已,这有什么难以理解的?* 之前了解了下Monad,后来一段时间没碰,最近研究Parser用到Monad时发现又不懂了.现在重新折腾,趁着 ...
- 【响应式编程的思维艺术】 (3)flatMap背后的代数理论Monad
目录 一. 划重点 二. flatMap功能解析 三. flatMap的推演 3.1 函数式编程基础知识回顾 3.2 从一个容器的例子开始 3.3 Monad登场 3.4 对比总结 3.5 一点疑问 ...
- 从函数式编程到Promise
译者按: 近年来,函数式语言的特性都被其它语言学过去了.JavaScript异步编程中大显神通的Promise,其实源自于函数式编程的Monad! 原文: Functional Computation ...
随机推荐
- webpack之牛刀小试 打包并压缩html、js
1.创建项目文件夹test,在文件夹下创建src文件夹用来存放源码,在src文件夹下创建index.html/index.js两件文件. 我们的最终目的是将这两个文件打包压缩并输出到/test/dis ...
- FineCMS 5.0.10 多个 漏洞详细分析过程
0x01 前言 已经一个月没有写文章了,最近发生了很多事情,水文一篇.今天的这个CMS是FineCMS,版本是5.0.10版本的几个漏洞分析,从修补漏洞前和修补后的两方面去分析. 文中的evai是特意 ...
- 《设计模式》学习&理解&总结
教程地址:http://www.runoob.com/design-pattern/design-pattern-tutorial.html 教程书籍:<Android 设计模式解析与实战> ...
- MySQL 每秒 570000 的写入,如何实现?
阅读本文大概需要 2.8 分钟. 来源:http://t.cn/E2TbCg5 一.需求 一个朋友接到一个需求,从大数据平台收到一个数据写入在20亿+,需要快速地加载到MySQL中,供第二天业务展示使 ...
- JDK设计模式之——策略模式(Comparable和Comparator接口)
策略模式:其实就是java的多态...父类引用指向子类对象. 使用策略模式,改善排序算法上文中需要排序的是一个数组 让他可以对任何类型的数组进行排序 1.利用 接口 Comparable<T&g ...
- 使用git clone命令克隆github项目到本地时出错,提示没有权限的解决方法
最近使用 git clone 命令在Github上克隆自己项目到本地时出错:提示没有权限,确认仓库是否存在,如下图红色框所示 问题:用过 git 的小伙伴都知道克隆项目的命令是—— git clone ...
- 【MML】华为MML AAA接口联调,Java版本
1.我们先设置一些常量数据 package cn.cutter.ztesoft.HuWeiMML.constrant; /** * @description: AAA接口常量设置 * @author: ...
- 心路历程(五)-find work and find house
今天,对我半年的java自学经历做一个总结吧,因为今天刚找到了房子,而工作在前两天已经找到.面试了两家,第一家是海淀去知春路的中科软,去之前就百度了这家公司,各种黑,然后自己去了之后,说说自己真实的感 ...
- Struts标签<bean:write><logic:iterate></logic:equal>的组合使用小例
form表单中的一个下拉列表控件的代码如下 <select name="taskname" id="taskname" class="selec ...
- mysql 开发基础系列16 视图
一. 什么是视图视图是一种虚拟存在的表,行和列数据来自,定义视图的查询中使用的表,并且是在使用视图时动态生成的.优势有: 简单: 使用视图的用户完全不需要关心后面对应的表的结构,关联条件,筛选条件. ...