js 函数式编程之函数柯里化

函数柯里化是指参数逐渐求值的过程。

我以为它是：下降通用性，提升专用性。

一般，柯里化是这样的过程，“若是你固定某些参数，你将获得接受余下参数的一个函数”。因此对于有两个变量的函数y^x，若是固定了 y=2，则获得有一个变量的函数 2^x

通用实现

function currying(fn) {
  var slice = Array.prototype.slice;
    var args = alice.call(arguments, 1);
    return function() {
    var innerArgs = slice.call(arguments);
    var finalArgs = args.concat(innerArgs);
    return fn.apply(null, finalArgs);
  }
}

先看一个简单的例子

function add(num1, num2) {
    return num1 + num2;
}

function curryAdd(num) {
    return num + 5;
}

add(2, 4); // 6
curryAdd(1); // 6

curryAdd 显然不是一个柯里化的实现。可是它很好的诠释了柯里化的思想。add 函数有两个参数，curryAdd 固定了其中一个参数

---

用上面 currying 函数构造 curryAdd 函数。

var curryAdd5 = currying(add, 5);

var curryAdd4 = currying(add, 4);

curryAdd5(1); // 6

curryAdd4(1); // 5

再看一个经典的 ajax 例子。

function Ajax() {
    this.xhr = new XMLHttpRequest();
}

Ajax.prototype.open = function(type, url, data, callback) {
    this.onload = function() {
    callback(this.xhr.responseText, this.xhr.status, thix.xhr);
  }

  this.xhr.open(type, url, data.async);
  this.xhr.send(data.paras);
}

['get', 'post'].forEach(function(type) {
    Ajax.prototype[type] = currying(Ajax.prototype.open, type);
})

var xhr = new Ajax();

xhr.get('/articles/list', {}, function(datas) {});

xhr.post('/articles/add', {}, function(datas) {});

get post 两个方法是经过 'open' 方法衍生出来的。

从一个通用的 open 函数（可接受任意type），柯里化成专用的函数 get、post。

---

固定易变因数

提早把易变因数固定下来，生成一个更明确的应用函数，最典型的代码就是 ES5 定义的 Function.prototype.bing 函数

Function.prototype.bing = function(context) {
    var _this = this,
        slice = Array.prototype.slice,
        _args = slice.call(arguments, 1);

    return function() {
        return _this.apply(context, _args.concat(slice.call(arguments)))
    }
}

---

延迟执行

不断的柯里化，累积传入的参数，最后执行。

function add() {
  var sum = 0, i, len;
    for (i = 0, len = arguments.length; i < len; i++) {
    sum += arguments[i];
  }
  return sum;
}

var currying = function(fn) {
    var _args = [];

    return function cb() {
        if (arguments.length === 0) {
            return fn.apply(this, _args);
        }

        Array.prototype.push.apply(_args, arguments);

        return cb;
    }
}

var curryingAdd = currying(add);

curryingAdd(1)(2)(3)(4)(); // 10

var add321 = curryingAdd(3)(2, 1);

add321(4)(); // 10

---

性能

柯里化确定会有一些开销（函数嵌套，比普通函数占更多内存），但性能瓶颈首先来自其它缘由（DOM 操做等）。

从另一个角度分析，无论你用不用柯里化这个思惟，你的代码极可能已经步入了更复杂的模式，会有更大的开销。

有关性能的一些事：

• 存取 arguments 对象一般要比存取命名参数要慢一些。

• 一些老版本的浏览器在 arguments.length 的实现上至关慢。

• 使用 fn.apply() 和 fn.call() 要比直接调用 fn() 要慢点。

• 建立大量嵌套做用域和闭包会带来开销，不管是内容仍是速度上。

• 大多数瓶颈来自 DOM 操做

---

总结

柯里化是以逻辑学家哈斯凯尔·加里命名的，

正如它的命名同样，函数柯里化给咱们带来的是：解决问题的一种逻辑思惟方式。