柯里化(curry)

curry 的概念很简单:只传递给函数一部分参数来调用它,让它返回一个函数去处理剩下的参数。

你可以一次性地调用 curry 函数,也可以每次只传一个参数分多次调用。

  1. var add = function(x) {
  2. return function(y) {
  3. return x + y;
  4. };
  5. };
  6. var increment = add(1);
  7. var addTen = add(10);
  8. increment(2);
  9. // 3
  10. addTen(2);
  11. // 12

这里我们定义了一个 add 函数,它接受一个参数并返回一个新的函数。调用 add 之后,返回的函数就通过闭包的方式记住了 add 的第一个参数。一次性地调用它实在是有点繁琐,好在我们可以使用一个特殊的 curry 帮助函数(helper function)使这类函数的定义和调用更加容易。

  1. var curry = require('lodash').curry;
  2. var match = curry(function(what, str) {
  3. return str.match(what);
  4. });
  5. var replace = curry(function(what, replacement, str) {
  6. return str.replace(what, replacement);
  7. });
  8. var filter = curry(function(f, ary) {
  9. return ary.filter(f);
  10. });
  11. var map = curry(function(f, ary) {
  12. return ary.map(f);
  13. });

我在上面的代码中遵循的是一种简单,同时也非常重要的模式。即策略性地把要操作的数据(String, Array)放到最后一个参数里。到使用它们的时候你就明白这样做的原因是什么了。

  1. match(/\s+/g, "hello world");
  2. // [ ' ' ]
  3. match(/\s+/g)("hello world");
  4. // [ ' ' ]
  5. var hasSpaces = match(/\s+/g);
  6. // function(x) { return x.match(/\s+/g) }
  7. hasSpaces("hello world");
  8. // [ ' ' ]
  9. hasSpaces("spaceless");
  10. // null
  11. filter(hasSpaces, ["tori_spelling", "tori amos"]);
  12. // ["tori amos"]
  13. var findSpaces = filter(hasSpaces);
  14. // function(xs) { return xs.filter(function(x) { return x.match(/\s+/g) }) }
  15. findSpaces(["tori_spelling", "tori amos"]);
  16. // ["tori amos"]
  17. var noVowels = replace(/[aeiou]/ig);
  18. // function(replacement, x) { return x.replace(/[aeiou]/ig, replacement) }
  19. var censored = noVowels("*");
  20. // function(x) { return x.replace(/[aeiou]/ig, "*") }
  21. censored("Chocolate Rain");
  22. // 'Ch*c*l*t* R**n'

这里表明的是一种“预加载”函数的能力,通过传递一到两个参数调用函数,就能得到一个记住了这些参数的新函数。

curry 的用处非常广泛,就像在 hasSpaces、findSpaces 和 censored 看到的那样,只需传给函数一些参数,就能得到一个新函数。

用 map 简单地把参数是单个元素的函数包裹一下,就能把它转换成参数为数组的函数。

  1. var getChildren = function(x) {
  2. return x.childNodes;
  3. };
  4. var allTheChildren = map(getChildren);

只传给函数一部分参数通常也叫做局部调用(partial application),能够大量减少样板文件代码(boilerplate code)。考虑上面的 allTheChildren 函数,如果用 lodash 的普通 map 来写会是什么样的(注意参数的顺序也变了):

  1. var allTheChildren = function(elements) {
  2. return _.map(elements, getChildren);
  3. };

通常我们不定义直接操作数组的函数,因为只需内联调用 map(getChildren) 就能达到目的。这一点同样适用于 sort、filter 以及其他的高阶函数(higher order function)(高阶函数:参数或返回值为函数的函数)。

当我们谈论纯函数的时候,我们说它们接受一个输入返回一个输出。curry 函数所做的正是这样:每传递一个参数调用函数,就返回一个新函数处理剩余的参数。这就是一个输入对应一个输出啊。

哪怕输出是另一个函数,它也是纯函数。当然 curry 函数也允许一次传递多个参数,但这只是出于减少 () 的方便。