高阶函数

高阶函数是至少满足以下条件之一的函数：

  • [ ] 函数可以作为参数被传递；
  • [ ] 函数可以作为返回值输出。

举几个例子，js中的排序函数sort，就是函数作为参数的一个高阶函数。

1
2
3
4
5
6
7
8
9
10
11
// 从小到大
[1,5,8,6,9,0].sort(function(a, b){
  return a - b;
})
// [0,1,5,6,8,9]

//从大到小
[1,5,8,6,9,0].sort(function(a, b){
  return b - a;
})
// [9,8,6,5,1,0]

js中判断数据类型的，就是函数作为返回值。

1
2
3
4
5
6
7
const isType = function(type) {
  return function(obj) {
    return object.prototype.toString.call(obj) === `[object ${type}]`;
  }
}
let isNumber = isType('Number');
console.log(isNumber(20)); // true

函数柯里化

函数柯里化（function currying）概念最早是由俄国数学家Moses Schönfinkel发明出来，后由数学家Haskell Curry丰富和发展，currying由此得名。

currying又称部分求值。一个currying函数首先会接收一些参数，接受了这些参数之后，该函数并不会立即求值，而是继续返回另一个函数，刚才传入的参数在函数形式的闭包中
被保存起来。待到函数真正需要求值的时候，之前传入的所以参数都会被一次性用于求值。

下面来看一个最简单的计费函数：

1
2
3
4
5
6
7
8
9
10
let totalCost = 0;
let billing = function(num){
  totalCost += num;
};

billing(20);
billing(12);
billing(64);
billing(16);
console.log(totalCost); //112

通过这段代码我们可以计算出某时间段的费用，然而这段代码有两个弊端，一是在外部暴露了一个全局变量，容易导致变量污染；二是我们并不关心每天花费多少，并不想每次花费都计算一次，而是
希望在最后需要计算时在全部做计算。接下来我们改进代码，用currying实现效果。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
let totalCost = (function() {
  let args = [];
  return function() {
    if (arguments.length === 0) {
      let money = 0;
      for (let i = 0, l = args.length; i < l; i++) {
        money += args[i];
      }
      return money;
    } else { 
      [].push.apply(args, arguments);
    }
  }
})();

totalCost(12);
totalCost(62);
totalCost(15);
console.log(const()); // 89

多箭头函数

多箭头函数其实就是函数柯里化的es6写法，比如我们常见的求和函数，采用高阶函数的写法：

1
2
3
4
5
6
7
8
function sum(a){
  return function(b){
    return a + b;
  }
}

let addLater = sum(3);
console.log(addLater(5));  //8

采用es6对箭头的写法等价于：let sum = a => b => a + b;

wiki 的柯里化定义:
把接受多个参数的函数变换成接受一个单一参数的函数，并且返回（接受余下的参数而且返回结果的）新函数的技术

简单的理解就是，把第一个参数变量存在了函数（闭包）里面，然后需要n个参数就变成了需要n-1个参数就可以调
用函数了。例如上面的案例：

1
2
let sum = a => b => a + b;
let sum2 = sum(2);

本来完成sum操作应该是：

1
let sum = (a, b) => x + y;

它需要俩参数，而上面的sum函数完成同样操作只需要一个参数，这在函数式编程中广泛应用。

详细解释一下，就是sum函数等价于有了x这个闭包变量的y => x + y函数。

也因此当a = 2，然后再调用sum2(5)时：

1
sum(5) ==== 2 + 5

函数柯里化有两个功能：一是可以惰性求值；二是可以提前传递部分参数。