引子
偏函数和函数柯里化是JS函数式编程中的两个重要概念,单独看这两个概念,可以轻松的理解,但是把这两个概念放到一起,就糊涂了,搞不清楚两者的区别与联系。
我也是第一次尝试弄清楚两者,如有错误,欢迎拍砖。
从一个数学概念函数开始。
函数
对于集合A中的任意元素(假设为x),在集合B中都有唯一一个元素(假设为y),满足某种对应关系(假设为f),则这种对应关系就叫函数,记作y=f(x),x称作函数的参数,y称作函数的值。
可以看出,函数是完全对应的,即集合A中的每个元素在集合B中都有对应值。但是,如果出现不完全对应的情况呢?
偏函数
如果出现不完全对应的情况,比如下图中集合A中的4,在集合B中没有对应值
这种情况下,我们把这样的对应关系就叫偏函数,集合A中可能有1个或多个元素没有对应值(此时不是函数),也有可能有0个元素没有对应值(此时是函数),所以说
偏函数不都是函数,但函数都是偏函数
多个参数的函数/偏函数
函数的参数可以有多个,假设记作g=f(x,y) ,参数可以看做一个有序对(x,y)的集合
用JS代码表述一下这个对应关系
function fn(x, y) {
if (x === 1 && y === 1) {
return 'a';
} else if (x === 1 && y === 2) {
return 'a';
} else if (x === 2 && y === 1) {
return 'b';
} else if (x === 2 && y === 2) {
return 'c';
}
}
复制代码
第一,不要嫌哥的代码Low;
第二,先不要把关键字function
叫做函数,暂且叫做对应关系
毫无疑问,对应关系fn
满足函数的概念,fn
是函数无疑。
同理,偏函数的参数也可以有多个
用JS代码表述一下这个对应关系
function partial(x, y) {
if (x === 1 && y === 1) {
return 'a';
} else if (x === 1 && y === 2) {
return 'a';
} else if (x === 2 && y === 1) {
return 'b';
}
}
复制代码
集合A中的有序对(2,2)
没有对应值,所以对应关系partial
是个偏函数。
看到了么,偏函数不是其他文章说的什么固定了函数的某一个或几个参数!,我参数数量不变仍可以是偏函数。当然,如果我们固定其中某一个或几个参数,比如固定x就是1,对应关系fn
肯定是偏函数
function fn(x, y) {
x = 1;
if (x === 1 && y === 1) {
return 'a';
} else if (x === 1 && y === 2) {
return 'a';
} else if (x === 2 && y === 1) {
return 'b';
} else if (x === 2 && y === 2) {
return 'c';
}
}
复制代码
因为它只能描述部分对应关系(当然,如果集合A中把2开头的有序对去掉,自然也是函数)
再看偏函数
到这里就应该清楚了,如果我们把函数的某一个或某几个参数固定,自然只能描述部分对应关系了(也有可能仍是全部描述,比如上面集合A中的x固定为1但把以2开头的有序对去掉),这是一个充分不必要条件,所以固定参数的行为,是偏函数的一个应用。
到这里还没明白偏函数的,找个隐蔽的地方,自己打自己屁屁吧!
下面看函数柯里化。
函数柯里化
单独理解函数柯里化也很简单
把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。
上代码,有一个求和函数
function sum (x, y, z) {
return x + y + z;
}
sum(1, 2, 3); // 6
复制代码
使用lodash的柯里化方法
const curriedSum = _.curry(sum);
curriedSum(1)(2)(3); // 6
复制代码
柯里化有2个要求
- 匿名函数
- 函数只能接受一个参数
但在JS实际应用中,很多时候都不会严格遵守,请看lodash的柯里化方法,柯里化后允许接受多个参数
curriedSum(1, 2)(3); // 6
复制代码
到这里还没明白函数柯里化的,找个隐蔽的地方,自己打自己屁屁吧!
偏函数和函数柯里化的关联
一、这是两个不同的概念,偏函数表达的是定义域和值域可能不完全对应;函数柯里化指的是多参函数变换成单参函数的过程。
二、函数柯里化后,在调用的过程中,出现了偏函数,还是以上面求和函数为例
function sum (x, y, z) {
return x + y + z;
}
const addOne = _.curry(sum);
const addTwo = addOne(1);
const addThree = addTwo(2);
const res = addThree(3);
复制代码
- 函数
sum
柯里化后的函数为addOne
addTwo
是固定x为1的偏函数addThree
是固定x为1和y为2的偏函数
最后
再次声明:这是我第一次尝试理清楚偏函数与函数柯里化的概念,难免出现错误,欢迎拍砖。
欢迎关注咱的微博,学习交流有个伴儿:@狂刀二
到这里还没关注咱微博的,找个隐蔽的地方,自己打自己屁屁吧!