伍.2.2 JavaScript的函数式编程探索

上一篇讲了函数式编程的理论知识,本篇探索一下JavaScript如何进行函数式编程。

01.Ramda,一款实用的 JavaScript 函数式编程库

工欲善其事必先利其器,JavaScript函数式编程怎能没有库这种利器!

Ramda是一个非常适合函数式编程的函数库。函数库类似的有lodash

lodash已经很成熟了,提供了足够好用的函数,那为什么还要Ramda呢?笔者认为:Ramda的理念更适合函数式编程。

Ramda的理念是:

Function first,data last.

也即函数优先,数据靠后。体现在具体的用法区别上,就是lodash会把第一个参数当成要处理的数据,函数等放在第一个参数之后传进来。而Ramda会把要出来的数据放在最后一个参数,最后一个参数之前的参数,都是传入的函数。

const list = [{a: 1}, {a: 2}, {a: 3}];
//lodash:数据在前
_.findIndex(list, (o)=> o.a== 2); //>> 0
//Ramda:数据在最末尾
R.findIndex(R.propEq('a', 2),list); //>> 1

将数据放在后面有什么好处呢?

好处是写的代码更精简,更方便阅读理解。这点结合Ramda的柯里化会感受更加明显。

02.Ramda的函数都是柯里化的

上面的代码第8行,可以写成:

R.findIndex(R.propEq('a', 2))(list); //>> 1

也是可以的,这不就是柯里化形态吗。没错,而Ramda提供的所有函数都是已经柯里化的,这可以从源代码找到证据。看看最简单的add函数的源代码:

import _curry2 from './internal/_curry2';
/**
* Adds two values.
*
* @func
* @memberOf R
* @since v0.1.0
* @category Math
* @sig Number -> Number -> Number
* @param {Number} a
* @param {Number} b
* @return {Number}
* @see R.subtract
* @example
*
* R.add(2, 3); //=> 5
* R.add(7)(10); //=> 17
*/
var add = _curry2(function add(a, b) {
return Number(a) + Number(b);
});
export default add;

上面代码第1行就引入了_curry2这个内部函数,然后第21行调用_curry2add函数柯里化。Ramda每个对外的函数,都这样处理过。因此Ramda对外提供的每个函数都是柯里化过的。

全部柯里化的目的是什么呢?

仍然是为了与前面讲述的“将数据放在末尾”结合使用,以便体现代码的简洁、可读性。

现在举例说明:求列表中a的值大于1的项,然后取各项值之和。

const list = [{ a: 1 }, { a: 2 }, { a: 3 }];
//lodash
{
//根据给定的列表求和
let sum = data => _.reduce(data, (a, b) => a + b.a,0);
//得到值>1的项组成的列表
let getList = data => _.filter(data, (o) => o.a > 1);
let total = _.flow(getList, sum)(list);
console.log(total);//>> 5
}
//Ramda
{
let sum = data => R.reduce((a,b)=>a+b.a,0,data);
let getList = data => R.filter((o) => o.a > 1,data);
let total = R.compose(sum,getList)(list);
console.log(total);//>> 5
}

这样可能还看不出明显差别,别急,因为Ramda提供的函数都是柯里化过的,柯里化可以将多参数函数拆分成单参数函数,于是可以改成如下:

let sum = data => R.reduce((a,b)=>a+b.a,0)(data);
let getList = data => R.filter((o) => o.a > 1)(data);
let total = R.compose(sum,getList)(list);
console.log(total);//>> 5

基本可以发现一个Ramda代码的特征:第1、2行代码,作为数据的参数data固定地出现在参数和最末尾位置。既然第1,2行代码都有传数据参数data,而第3行代码传数据参数list,重复这么多次没有必要,同样是将数据以参数传递,笔者直觉这种情况出现一次就够了(理论上,代码里有重复的地方都可以优化,出现一次就够)。

那第1、2行多余的参数传递可以优化掉!因为末尾都是数据,那可以十分方便地优化掉(拿走就行了,比将数据放在最开头的参数位置而言,要方便得多)。再因为Ramda提供的函数都是柯里化过的,柯里化可以延迟运行,也即可以暂时不用传数据进来,在真正需要运行函数的时候传数据进来就可以了。所以,代码优化如下:

let sum = R.reduce((a,b)=>a+b.a,0);//优化掉data
let getList = R.filter((o) => o.a > 1);//优化掉data
let total = R.compose(sum,getList)(list);//最后再统一传参data
console.log(total);//>> 5

哇!上面代码中第1、2行原本需要传递的参数data不见了,效果却一样!居然可以没data什么事?!的确可以!很清爽的代码。至此,就引出了一种无参数的编程风格:Pointfree,放在下一篇单独介绍。

可以发现正是因为Ramda把数据放在参数的最后一个位置,同时每个函数都柯里化过,因此能够省略一些参数,代码才变得更简洁,更易读。

参考文献