FP入门概念必须掌握的是“纯函数”,“柯里化”,“函数组合”。就算只是作为一个FP新手,理解柯里化也是基本的要求。但是我对柯里化的理解一直很模糊,那么今天写个总结,搞定它。
模糊在哪?
不知道什么是真正的柯里化,对柯里化的理解就是减少一个接收的参数,反柯里化就是添加一个接收的参数(我相信大多数人和我是一样一样的)。这种理解其实是非常粗浅的。
首先上Wiki:
柯里化
柯里化(英语:Currying),又译为卡瑞化或加里化,是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。
在直觉上,柯里化声称“如果你固定某些参数,你将得到接受余下参数的一个函数”。
这不还是等于什么都没说嘛! 还是用ScriptOJ的一道题目来理解理解。
curry函数
Q:
函数式编程当中有一个非常重要的概念就是 函数柯里化。一个接受 任意多个参数 的函数,如果执行的时候传入的参数不足,那么它会返回新的函数,新的函数会接受剩余的参数,直到所有参数都传入才执行操作。这种技术就叫柯里化。请你完成 curry
函数,它可以把任意的函数进行柯里化,效果如下:
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)
// ...
// 这些函数执行结果都一样
// 经典加法例子
const add = curry((a, b) => a + b)
const add1 = add(1)
add1(1) // => 2
add1(2) // => 3
add1(3) // => 4
注意,传给 curry
的函数可能会有任意多个参数。
这道题的意思其实就是,不管我传进去几个函数,得到的答案都是相同的。它产生了一系列函数方法,每个函数都只有一个参数,实现是通过每次在另一个新的Curry函数中隐藏一个参数来实现。这种思想大概就是化繁为简,分而治之?
怎么理解呢?
如果我定义一个函数,需要a,b,c,d四个参数,那么如果想要程序正常跑起来,就得给它传四个参数,一个都不能少,否则就会报错。那么,如果我们把它柯里化了呢?那么来解答一下这道题:
var curry=function curry(f)
{ var arr=arguments.length>1 && argument[1]!==undefined?arguments[1]:[];
//参数的个数是否大于1或第2个参数不等于undefined?是的话,arr为第2个参数,否的话,arr为空数组
return function f1(){
//返回一个函数f1
for (var len=arguments.length,args=Array(len),i=0;i<len;i++){ args[i]=arguments[i];
//遍历argument,将其参数存入arg[]中 }
return function f2(a){
//返回一个函数f2
return a.length === f.length ? f(a):curry(f,a)};
//a的长度是否等于f的长度?是的话,f2为f(a);否,f2为curry(f,a)(重新调用一次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还完全没入门啊,多多加油:)