柯里化函数
柯里化是指将原来接收两个参数的函数变成接收一个参数的函数的过程,新的函数返回一个以原有第二个参数作为参数的函数。是不是有种被绕晕了的感觉,先别急,先看一个示例:
结果:
这里可以看出,柯里化函数与多个参数的函数具有相同的功能,这中间有一个“应用部分函数”,或者叫“偏应用函数”,这个函数multipleOf4表示固定了两个参数中的一个,部分提供了函数mul所需要的参数,而不是全部提供。柯里化函数在理解上比较偏向于这样的逻辑。
那么,为什么要使用柯里化呢?首先,柯里化可以让我们构造出更像原生语句提供的功能的代码(就像我们在上面说的那样);第二点也是更重要的一点,就是函数柯里化后,参数相对独立了,这样就可以对函数的某个参数单独提供更多的类型推断信息。如下例所示:
这里的corresponds函数就是柯里化函数,其定义如下:
使用柯里化后,该函数柯里化后单独对第二个参数进行了更详细的功能定义,丰富了函数的功能。