javascript多箭头和函数柯里化

2,259 阅读3分钟

高阶函数

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

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

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

// 从小到大
[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中判断数据类型的,就是函数作为返回值。

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

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

let totalCost = 0;
let billing = function(num){
  totalCost += num;
};

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

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

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写法,比如我们常见的求和函数,采用高阶函数的写法:

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个参数就可以调 用函数了。例如上面的案例:

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

本来完成sum操作应该是:

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

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

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

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

sum(5) ==== 2 + 5

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