柯里化函數

柯里化函數

 

什麼是柯里化？

在計算機科學中，柯里化（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 中，若是已經沒有要傳的參數了，那麼就調用fn.apply(null, argsList)將原函數執行。要實現這點，咱們就須要一個內部的判斷函數 _c(restNum, argsList)，函數接受兩個參數，一個是剩餘參數個數 restNum，另外一個是已獲取的參數的列表 argsList；_c 的功能就是判斷是否還有未傳入的參數，當 restNum 爲零時，就是時候經過fn.apply(null, argsList)執行原函數並返回結果了。若是還有參數須要傳遞的話，也就是說 restNum 不爲零時，就須要返回一個單參數函數

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

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