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行调用_curry2将add函数柯里化。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把数据放在参数的最后一个位置，同时每个函数都柯里化过，因此能够省略一些参数，代码才变得更简洁，更易读。

参考文献

The Philosophy of Ramda