FP入門概念必須掌握的是“純函數(shù)”,“柯里化”,“函數(shù)組合”胆胰。就算只是作為一個FP新手赞枕,理解柯里化也是基本的要求味悄。但是我對柯里化的理解一直很模糊草戈,那么今天寫個總結(jié),搞定它侍瑟。
模糊在哪唐片?
不知道什么是真正的柯里化,對柯里化的理解就是減少一個接收的參數(shù)涨颜,反柯里化就是添加一個接收的參數(shù)(我相信大多數(shù)人和我是一樣一樣的)费韭。這種理解其實是非常粗淺的。
首先上Wiki:
柯里化
柯里化(英語:Currying)庭瑰,又譯為卡瑞化或加里化星持,是把接受多個參數(shù)的函數(shù)變換成接受一個單一參數(shù)(最初函數(shù)的第一個參數(shù))的函數(shù),并且返回接受余下的參數(shù)而且返回結(jié)果的新函數(shù)的技術(shù)弹灭。
在直覺上督暂,柯里化聲稱“如果你固定某些參數(shù),你將得到接受余下參數(shù)的一個函數(shù)”穷吮。
這不還是等于什么都沒說嘛逻翁! 還是用ScriptOJ的一道題目來理解理解。
curry函數(shù)
Q:
函數(shù)式編程當(dāng)中有一個非常重要的概念就是 函數(shù)柯里化捡鱼。一個接受 任意多個參數(shù) 的函數(shù)八回,如果執(zhí)行的時候傳入的參數(shù)不足,那么它會返回新的函數(shù)驾诈,新的函數(shù)會接受剩余的參數(shù)缠诅,直到所有參數(shù)都傳入才執(zhí)行操作。這種技術(shù)就叫柯里化翘鸭。請你完成 curry
函數(shù)滴铅,它可以把任意的函數(shù)進行柯里化,效果如下:
const f = (a, b, c d) => { ... }
const curried = curry(f)?
curried(a, b, c, d)
curried(a, b, c)(d)
curried(a)(b, c, d)
curried(a, b)(c, d)
curried(a)(b, c)(d)
curried(a)(b)(c, d)
curried(a, b)(c)(d)
// ...
// 這些函數(shù)執(zhí)行結(jié)果都一樣
?// 經(jīng)典加法例子
const add = curry((a, b) => a + b)
const add1 = add(1)?
add1(1) // => 2
add1(2) // => 3
add1(3) // => 4
注意就乓,傳給 curry
的函數(shù)可能會有任意多個參數(shù)。
這道題的意思其實就是拱烁,不管我傳進去幾個函數(shù)生蚁,得到的答案都是相同的。它產(chǎn)生了一系列函數(shù)方法戏自,每個函數(shù)都只有一個參數(shù)邦投,實現(xiàn)是通過每次在另一個新的Curry函數(shù)中隱藏一個參數(shù)來實現(xiàn)。這種思想大概就是化繁為簡擅笔,分而治之志衣?
怎么理解呢屯援?
如果我定義一個函數(shù),需要a,b,c,d四個參數(shù)念脯,那么如果想要程序正常跑起來狞洋,就得給它傳四個參數(shù),一個都不能少绿店,否則就會報錯吉懊。那么,如果我們把它柯里化了呢假勿?那么來解答一下這道題:
var curry=function curry(f)
{? var arr=arguments.length>1 && argument[1]!==undefined?arguments[1]:[];
//參數(shù)的個數(shù)是否大于1或第2個參數(shù)不等于undefined?是的話借嗽,arr為第2個參數(shù),否的話转培,arr為空數(shù)組
return function f1(){
//返回一個函數(shù)f1
for (var len=arguments.length,args=Array(len),i=0;i<len;i++){? args[i]=arguments[i];
//遍歷argument,將其參數(shù)存入arg[]中 }?
return function f2(a){
//返回一個函數(shù)f2
return a.length === f.length ? f(a):curry(f,a)};
//a的長度是否等于f的長度恶导?是的話,f2為f(a);否浸须,f2為curry(f,a)(重新調(diào)用一次curry)
}([].concat(arr,args));
//將arr,args連接起來};
然后抄一下別人的代碼:
ES6:(果然簡潔):
const curry = (f, arr = []) => {
return (...args) => {
return (a) => {
return a.length === f.length ? f(a) : curry(f, a);
}([...arr, ...args]);
};
};
老司機系列:
curry(f, a))([...arr, ...args]);```
老司機系列寫的就很有靈性了...看起來我ES6還完全沒入門啊甲锡,多多加油:)