我们知道,函数式编程的技术有 柯里化、偏函数等等。
错误处理
也是一种技术,本节中我们会使用函子(Functor),用一种纯函数的方式帮助我们处理错误。
概念
函子
定义: 函子是一个普通对象
,它实现了map函数
,在遍历每个对象值的时候生成一个新对象
。即,函子是一个实现了 map 契约的对象!
简单理解:函子是一个持有值的容器。
例如下面这个容器,它能够持有任何传给它的值。
const Container = function(val) {this.value=val;}
let testVal = new Container(3);
这样一来,Container持有了内部的值,我们传入的任何js数据类型,Container都会持有它。
在继续之前,我们为 Container 创建一个名为 of 的静态工具类方法, 它可以为我们在创建新的 Container 时省略 new 关键字。
代码语言:javascript复制Container.of = function(val){return new Container(val);}
那么我们就可以通过of创建Container:
代码语言:javascript复制let testVal = Container.of(3);//省略new
为什么函子实现了map函数
map函数从Container中取出值,将传入的函数应用于其上,并将结果放回Container。如图:
实现代码:
代码语言:javascript复制Container.prototype.map = function(fn) {
return Container.of(fn(this.value));
}
let double = (x)=>x x;
Container.of(3).map(double); //{value:6} 得到一个新对象
MayBe函子
- 用函数式方式处理错误或异常。
const MayBe = function(val) {
this.value = val;
}
MayBe.of = function(val) {return new MayBe(val);}
MayBe.prototype.isNothing= function() {
//在应用传入的函数之前先使用isNothing函数检查容器中的值是否为null或undefined
return (this.value===null ||this.value===undefined);
};
MayBe.prototype.map = function() {
//map把应用函数的返回值放回了容器
return this.isNothing() ? MayBe.of(null) : MayBe.of(fn(ths.value));
}
调用:
MayBe.of("string").map((x)=>x.toUpperCase()); // {value: 'STRING'}
Monad函子
Monad是一个
含有chain方法的函子
你可以通过添加一个chain方法(或者说是join方法)扩展MayBe函子,使其成为一个Monad函子。Promise 就是一种 Monad。那么,我们就可以知道 Monad 函子的一大特点就是能够避免深层嵌套,只要提供下一运算所需要的的函数,就能将函数拆解成互相连接的多个步骤,自动进行下去,并且每次都是只返回一个单层的函子。这个函子有一个 flatMap
方法,即降维的能力。