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 操做

---

總結

柯里化是以邏輯學家哈斯凱爾·加里命名的，

正如它的命名同樣，函數柯里化給咱們帶來的是：解決問題的一種邏輯思惟方式。