柯裏化函數

什麽是柯裏化？

在計算機科學中，柯裏化（Currying）是把接受多個參數的函數變換成接受一個單一參數（最初函數的第一個參數）的函數，並且返回接受余下的參數且返回結果的新函數的技術。這個技術由 Christopher Strachey 以邏輯學家 Haskell Curry 命名的，盡管它是 Moses Schnfinkel 和 Gottlob Frege 發明的。

function curry(fn) {
  function _c(restNum, argsList) {
    return restNum === 0 ?
      fn.apply(null, argsList) :
      function(x) {
        return _c(restNum - 1, argsList.concat(x));
      };
  }
  return _c(fn.length, []); // 遞歸開始
}
 

function add(a,b){ return function(c){ return a+b+c; } } curry(add)(1)(2)(3);

需求分析

我們需要一個 curry 函數，它接受一個待柯裏化的函數為參數，返回一個用於接收一個參數的函數，接收到的參數放到一個列表中，當參數數量足夠時，執行原函數並返回結果。

實現方式

簡單思考可以知道，柯裏化部分配置函數的步驟數等於 fn 的參數個數，也就是說有兩個參數的 plus 函數需要分兩步來部分配置。函數的參數個數可以通過fn.length獲取。

總的想法就是每傳一次參，就把該參數放入一個參數列表 argsList

function(x) {
  return _c(restNum - 1, argsList.concat(x));
}
 

來繼續接收參數。這裏形成了一個尾遞歸，函數接受了一個參數後，剩余需要參數數量 restNum 減一，並將新參數 x 加入 argsList 後傳入 _c 進行遞歸調用。結果就是，當參數數量不足時，返回負責接收新參數的單參數函數，當參數夠了時，就調用原函數並返回。

柯裏化函數