浅谈JS中的反柯里化( uncurrying)

反柯里化

相反，反柯里化的作用在与扩大函数的适用性，使本来作为特定对象所拥有的功能的函数可以被任意对象所用.

即把如下给定的函数签名，

obj.func(arg1, arg2)

转化成一个函数形式，签名如下：

func(obj, arg1, arg2)

这就是 反柯里化的形式化描述。

例如，下面的一个简单实现：

Function.prototype.uncurrying = function() {  var that = this;  return function() {    return Function.prototype.call.apply(that, arguments);  }};function sayHi () {  return "Hello " + this.value +" "+[].slice.call(arguments);}var sayHiuncurrying=sayHi.uncurrying();console.log(sayHiuncurrying({value:'world'},"hahaha"));

解释：

最后，我们反过来看，其实反柯里化相当于把原来 sayHi(args) 的形式，转换成了 sayHiuncurrying(obj,args)，使得sayHi的使用范围泛化了。 更抽象地表达， uncurryinging反柯里化，使得原来 x.y(z) 调用，可以转成 y(x',z) 形式的调用 。 假设x' 为x或者其他对象，这就扩大了函数的使用范围。

通用反柯里化函数

上面例子中把uncurrying写进了prototype，这不太好，我们其实可以把 uncurrying 单独封装成一个函数;

var uncurrying= function (fn) {  return function () {    var args=[].slice.call(arguments,1);    return fn.apply(arguments[0],args);      }  };

上面这个函数很清晰直接。

使用时 调用 uncurrying 并传入一个现有函数 fn， 反柯里化函数会返回一个新函数，该新函数接受的第一个实参将绑定为 fn 中 this的上下文，其他参数将传递给 fn 作为参数。

所以，对反柯里化更通俗的解释可以是 函数的借用，是函数能够接受处理其他对象，通过借用泛化、扩大了函数的使用范围。

所以 uncurrying更常见的用法是对 Javascript 内置的其他方法的 借调 而不用自己都去实现一遍。