JavaScript 函数式编程中的 curry 实现

最近在学习javascript函数式编程,对其中大名鼎鼎的curry十分感兴趣,curry函数可以接受一个函数,我们暂且称之为原始函数,返回的也是一个函数,柯里化函数,这个返回的柯里化函数功能十分强大,他在执行的过程中,不断的返回一个贮存了传入参数的函数,直到触发了原始函数执行的条件。这么说比较概括,那么就举个例子来说明一下:

浅析 JavaScript 中的 函数 currying 柯里化

curry化来源与数学家 Haskell Curry的名字 (编程语言
Haskell也是以他的名字命名)。

 

柯里化通常也称部分求值,其含义是给函数分步传递参数,每次传递参数后部分应用参数,并返回一个更具体的函数接受剩下的参数,这中间可嵌套多层这样的接受部分参数函数,直至返回最后结果。

因此柯里化的过程是逐步传参,逐步缩小函数的适用范围,逐步求解的过程。

 

柯里化一个求和函数

按照分步求值,我们看一个简单的例子

 

var concat3Words = function (a, b, c) {

    return a+b+c;

};

 

var concat3WordsCurrying = function(a) {

    return function (b) {

        return function (c) {

            return a+b+c;

        };

    };

};

console.log(concat3Words(“foo “,”bar “,”baza”));            // foo bar
baza

console.log(concat3WordsCurrying(“foo “));                  //
[Function]

console.log(concat3WordsCurrying(“foo “)(“bar “)(“baza”));  // foo bar
baza

可以看到, concat3WordsCurrying(“foo “) 是一个
Function,每次调用都返回一个新的函数,该函数接受另一个调用,然后又返回一个新的函数,直至最后返回结果,分布求解,层层递进。(PS:这里利用了闭包的特点)

 

那么现在我们更进一步,如果要求可传递的参数不止3个,可以传任意多个参数,当不传参数时输出结果?

 

首先来个普通的实现:

 

var add = function(items){

    return items.reduce(function(a,b){

        return a+b

    });

};

console.log(add([1,2,3,4]));

但如果要求把每个数乘以10之后再相加,那么:

 

var add = function (items,multi) {

    return items.map(function (item) {

        return item*multi;

    }).reduce(function (a, b) {

        return a + b

    });

};

console.log(add([1, 2, 3, 4],10));

好在有 map 和 reduce
函数,假如按照这个模式,现在要把每项加1,再汇总,那么我们需要更换map中的函数。

 

下面看一下柯里化实现:

 

var adder = function () {

    var _args = [];

    return function () {

        if (arguments.length === 0) {

            return _args.reduce(function (a, b) {

                return a + b;

            });

        }

        [].push.apply(_args, [].slice.call(arguments));

        return arguments.callee;

    }

};    

var sum = adder();

 

console.log(sum);     // Function

 

sum(100,200)(300);    //
调用形式灵活,一次调用可输入一个或者多个参数,并且支持链式调用

sum(400);

console.log(sum());   // 1000 (加总计算) 

上面
adder是柯里化了的函数,它返回一个新的函数,新的函数接收可分批次接受新的参数,延迟到最后一次计算。

 

通用的柯里化函数

更典型的柯里化会把最后一次的计算封装进一个函数中,再把这个函数作为参数传入柯里化函数,这样即清晰,又灵活。

例如 每项乘以10, 我们可以把处理函数作为参数传入:

 

var currying = function (fn) {

    var _args = [];

    return function () {

        if (arguments.length === 0) {

            return fn.apply(this, _args);

        }

        Array.prototype.push.apply(_args, [].slice.call(arguments));

        return arguments.callee;

    }

};

 

var multi=function () {

    var total = 0;

    for (var i = 0, c; c = arguments[i++];) {

        total += c;

    }

    return total;

};

 

var sum = currying(multi);  

  

sum(100,200)(300);

sum(400);

澳门新葡亰3522平台游戏,console.log(sum());     // 1000  (空白调用时才真正计算)

这样 sum =
currying(multi),调用非常清晰,使用效果也堪称绚丽,例如要累加多个值,可以把多个值作为做个参数
sum(1,2,3),也可以支持链式的调用,sum(1)(2)(3)

 

柯里化的基础

上面的代码其实是一个高阶函数(high-order function),
高阶函数是指操作函数的函数,它接收一个或者多个函数作为参数,并返回一个新函数。此外,还依赖与闭包的特性,来保存中间过程中输入的参数。即:

 

函数可以作为参数传递

函数能够作为函数的返回值

闭包

柯里化的作用

延迟计算。上面的例子已经比较好低说明了。

参数复用。当在多次调用同一个函数,并且传递的参数绝大多数是相同的,那么该函数可能是一个很好的柯里化候选。

动态创建函数。这可以是在部分计算出结果后,在此基础上动态生成新的函数处理后面的业务,这样省略了重复计算。或者可以通过将要传入调用函数的参数子集,部分应用到函数中,从而动态创造出一个新函数,这个新函数保存了重复传入的参数(以后不必每次都传)。例如,事件浏览器添加事件的辅助方法:

 

 

 var addEvent = function(el, type, fn, capture) {

     if (window.addEventListener) {

         el.addEventListener(type, function(e) {

             fn.call(el, e);

         }, capture);

     } else if (window.attachEvent) {

         el.attachEvent(“on” + type, function(e) {

             fn.call(el, e);

         });

     } 

 };

每次添加事件处理都要执行一遍
if…else…,其实在一个浏览器中只要一次判定就可以了,把根据一次判定之后的结果动态生成新的函数,以后就不必重新计算。

 

var addEvent = (function(){

    if (window.addEventListener) {

        return function(el, sType, fn, capture) {

            el.addEventListener(sType, function(e) {

                fn.call(el, e);

            }, (capture));

        };

    } else if (window.attachEvent) {

        return function(el, sType, fn, capture) {

            el.attachEvent(“on” + sType, function(e) {

                fn.call(el, e);

            });

        };

    }

})();

这个例子,第一次 if…else…
判断之后,完成了部分计算,动态创建新的函数来处理后面传入的参数,这是一个典型的柯里化。

 

Function.prototype.bind 方法也是柯里化应用

与 call/apply 方法直接执行不同,bind 方法
将第一个参数设置为函数执行的上下文,其他参数依次传递给调用方法(函数的主体本身不执行,可以看成是延迟执行),并动态创建返回一个新的函数,
这符合柯里化特点。

 

var foo = {x: 888};

var bar = function () {

    console.log(this.x);

}.bind(foo);               // 绑定

bar();                     // 888

下面是一个 bind 函数的模拟,testBind
创建并返回新的函数,在新的函数中将真正要执行业务的函数绑定到实参传入的上下文,延迟执行了。

 

 

Function.prototype.testBind = function (scope) {

    var fn = this;                    //// this 指向的是调用 testBind
方法的一个函数, 

    return function () {

        return fn.apply(scope);

    }

};

var testBindBar = bar.testBind(foo);  // 绑定 foo,延迟执行

console.log(testBindBar);             // Function
(可见,bind之后返回的是一个延迟执行的新函数)

testBindBar();                        // 888

这里要注意 prototype 中 this 的理解。

JavaScript 中的 函数 currying 柯里化
curry化来源与数学家 Haskell Curry的名字 (编程语言
Haskell也是以他的名字命名)。 柯里化通常也称部…

原始函数:

var add = (x, y) => x + y

柯里化函数:

 var curryAdd = curry(add)

这个add需要两个参数,但是我们的curryAdd执行可以传入更少的参数,当传入的参数少于add需要的参数的时候,add函数并不会执行,curryAdd就会将这个参数记下来,并且返回另外一个函数,这个函数可以继续执行传入参数,我们会有一个变量专门记录传入参数的情况,如果传入参数的总数等于add需要参数的总数,我们就激活了原始参数执行,就会返回我们想要的结果。

// 此时只传入了一个参数 根据判断返回的是一个函数
    var add2 = curryAdd(2)
    // add2 = function(...) {}

// 此时累计传入了两个参数 等于了add需要参数的总和 所以返回的是一个结果
    // 相当于执行了add(2)(3)
    var result = add2(3)
    // result = 5

还是很不错的是吧,好吧,我们的目的是为了写出这个神奇curry函数,而且还要一行写出来,不要着急,先分析一下怎么去写,然后再一步步的优化。

那根据上面的描述,我们看一下curry函数需要什么,首先需要一个变量,用来存下来原始函数的参数个数,我们知道function有一个属性为length,对就是它,我们用limit存下来

    var curry = function(fn) {
         var limit = fn.length
         ...
    }

curry函数要返回一个函数,
这个函数是要执行的,那么问题就是,我们要判断这个函数的执行是否激活了原始函数的执行,问题就出现在传入的参数上面。返回函数还是结果?这的确是一个问题,我们先写返回结果的情况,当传入的参数等于原始函数需要的参数时,我们执行原始函数fn

    var curry = function(fn) {
         var limit = fn.length
         return function (...args) {
             if (args.length >= limit) {
                 return fn.apply(null, args)
             }
         }
    }

否则呢
我们就要返回一个贮存了参数的函数,这里有两点,一是参数的传入历史我们要记录下来,二是这个返回的函数需要做些什么