JS 函数式编程思维简述(三)：柯里化

JavaScript017

JS 函数式编程思维简述(三)：柯里化,第1张

       在探讨柯里化之前，我们首先聊一聊很容易跟其混淆的另一个概念—— 偏函数（Partial Application） 。在维基百科中，对 Partial Application 的定义是这样的：

其含义是：在计算机科学中，局部应用（或偏函数应用）是指将 多个参数 固定在一个函数中，从而 产生另一个函数 的过程。

举个例子，假设我们是一个加工厂，用于生产梯形的零件，生产过程中我们要根据 订单来源方 给的一系列参数计算面积：

突然有一天，我们发现了一个问题：我们的大部分订单零件，都是高度为 28 的规格，此时面积函数调用经常是这个样子的：

此时，我们便可以 以第一个函数为模板 ，来创建 存储了固定值的新的计算函数 ：

当然，这个示例中并没有以明显的 偏函数 的方式去呈现，我们可以让返回结果变成一个新的函数，因此我们可以加以改造：

也可以将其简化为：

这里，我们就可以将 trapezoidAreaByHeight15() 、 trapezoidAreaByHeight28() 和 trapezoidAreaByHeight33() 视为 trapezoidArea() 的偏函数。

        偏函数 往往不能改变一个函数的行为，通常是根据一个已有函数而生成一个新的函数，这个新的函数具有已有函数的相同功能，区别在于在新的函数中有一些参数 已被固定 不会变更。偏函数的设计通常：

        柯里化（Currying） 是以美国数理逻辑学家哈斯凯尔·科里(Haskell Curry)的名字命名的函数应用方式。 与偏函数很像的地方是：都可以缓存参数，都会返回一个新的函数，以提高程序中函数的适用性。 而不同点在于， 柯里化（Currying） 通常用于分解原函数式，将参数数量为 n 的一个函数，分解为参数数量为 1 的 n 个函数，并且支持连续调用。例如：

可见， 柯里化（Currying） 用于将多元任务分解成单一任务，每一个独立的任务都 缓存了上一次函数生成时传递的入参 ，并且让新生成的函数更简单、专注。上述演变也可以写作：

        柯里化（Currying） 分解了函数设计过程，将运行的步骤拆分为每一个单一参数的 lambda 演算。这里例举一个在 JavaScript 中用于做强制类型判断的示例：

使用这一的方式构建的函数 checkType() 具备了高通用性，但适用性则略差。我们发现 每次的调用过程，使用者都需要编写参数 typeStr 表示的类型字符串 ，增加了函数的应用复杂度。此时作为设计者，就可以对该函数加以改造，使其生成多个具备高适用性的独立函数：

        柯里化（Currying） 分解了函数设计过程，将运行的步骤拆分为每一个单一参数的 lambda 演算。我们可以通过递归的方式，来构造出一个可进行无限调用，并返回相同的累加函数的 柯里化函数 ：

调用方式如：

以这样的方式，我们构建的参数是一个简单对象 nexter ，该对象至少包含一个 value 属性，用于描述本次累加的值。如果希望获取累加结果，则为 nexter 对象赋予函数属性 success 即可。结果会以实参的形式，传递给 success 函数用于传递通知。

        Promise 对象无论是构造函数还是后续的链式调用中，都能看到 柯里化 设计的影子：接收单一参数，返回一个 Promise ：

调用方式为：

柯里化是指将函数原有的一系列参数转化为依次使用一个参数的原理

原函数

let add = (a,b) =>a+b

add(1,2)  // 3

经过柯里化之后

let addCurry  = curry(add)

addCurry(1)(2)  //3

在某些场景中 ，我们需要给一组数据进行统一操作  例如+1  就可利用柯里化  addCurry(1)(x)  此处x为需要进行操作的数据

函数柯里化的通用版本

es5 :

function add(x){

    return function(y){

        return y + x

    }

}

es6 :

let add = (a) =>(b) =>a+b