JAVAScript柯里化、部分应用参数终极理解

前端开发

2016-11-08

一、柯里化

在定义柯里化、部分应用参数的概念前，首先必须对闭包有深入的了解和定义，闭包一句话说清楚：函数返回值为函数。

柯里化的定义：将多参函数分解为按步骤接受单个参数的函数，如下代码：

var mod = function(a,b){
    return a * b;
}
function curry2(fun){ 
var _funTwo = function(arg){
       return function(two){
           return fun(arg,two); 
       }
   };
   return _funTwo;
}
var _add2 = curry2(mod); 
var result2 = _add2(1)(2);

mod：接受两个参数，分别为a,b；

curry2：实现柯里化功能函数，由于传入mod这个参数，返回接受一个参数的闭包；在新闭包的函数上传入另一个值（b)即可完成mod函数的执行。

无限级柯里化

var mod = function(a,b){
    return a * b;
}
function curry2(fun){ 
   var newVal; 
   var _funTwo = function(arg){
       return function(two){
           if(!two) return newVal;
           newVal = fun(arg,two); 
           return _funTwo(newVal);
       }
   };
   return _funTwo;
}
var _add2 = curry2(mod); 
var result2 = _add2(1)(2)(3)(4)(5)();

1.2、柯里化的应用

a). 利用柯里化增加约束条件，只有通过所有约束条件的数据才最终被执行；

b). 变量不会存在全局污染（保护变量的私有性），自由变量（函数内部不定义，但可以访问的变量，一般情况下是全局变量，或局部全局变量），约束变量（函数内部定义的变量，生命周期在函数内部）。函数(function)依赖自由变量，就会存在自身的返回值不可控的现象，这就是传说中的共享变量耦合。

c). 无限级柯里化固能实现，但不实用，用柯里化最主要的目的是为最终执行单元增加约束条件（参数分解），约束条件是有限的。

如需要约束条件是动态的，则应该选择下面介绍的部分应用参数”

二、部分应用参数

部分应用参数的定义：传入任何多个约束条件，返回接受执行单元和参数的闭包。实现约束条件的预设置。代码如下：

function Parit(fun, parg){
            return function(){
                var args = _.toArray(arguments);
                args.splice(0,0,parg);
                return fun.apply(fun,args); //执行后必须返回
            }
        }     
        function condition1(){
            var validators = _.toArray(arguments);
            return function(fun, arg){
                var errors = _.map(validators,function(data,irow){
                    return data(arg) ? [] : [data.name + ' error'];
                });
                if(!_.isEmpty(errors.join())){
                    console.info(errors.join());
                    return;
                    //throw new Error(errors.join());
                }
                return fun.call(fun,arg); //执行后必须返回
            }
        }
        var sqlPre = condition1(_.isNumber); //sqlPre是闭包，需要fun，arg两个参数
        function uncheckedSqr(n){ return n * n; }

        console.log(sqlPre( uncheckedSqr,10) ); //本质
        var sqr = Parit(sqlPre,uncheckedSqr); //返回一个闭包 uncheckedSqr作为sqlPre的第一个参数传入
        console.log( sqr('5') );
        console.log( sqr(5) );