JavaScript偏函数与函数柯里化

引子

偏函数和函数柯里化是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的偏函数

最后

再次声明：这是我第一次尝试理清楚偏函数与函数柯里化的概念，难免出现错误，欢迎拍砖。

欢迎关注咱的微博，学习交流有个伴儿：@狂刀二

到这里还没关注咱微博的，找个隐蔽的地方，自己打自己屁屁吧！