函数柯里化：浅谈三行代码实现 add(1)(2)(3) 的奥秘

2023-10-26 23:15:13

函数柯里化漫谈

在函数式编程范式中，函数柯里化（Currying）是一种重要的概念，它允许将一个接受多个参数的函数转换为一系列接受单个参数的函数。简而言之，就是将一个多参数函数分解成一系列单参数函数的过程。这种编程技巧以逻辑学家 Haskell Curry 的名字命名。

函数柯里化的本质是利用闭包的特性，将函数的参数列表分解成更小的单元，以便逐个处理。闭包是指那些能够访问其创建函数作用域内的变量的函数，即使这些变量已不在其作用域内。通过将一个函数的部分参数作为闭包中的变量，我们就可以将其与函数的其余部分分离，并逐个应用这些参数。

三行代码实现 add(1)(2)(3)

为了更好地理解函数柯里化的概念，我们首先从一个简单的例子入手，即如何使用三行代码来实现 add(1)(2)(3) 这个看似简单的表达式。这个表达式实际上是一个函数柯里化的应用。

// 第一部分：定义一个 add 函数
const add = (a) => {
  return (b) => {
    return a + b;
  };
};

// 第二部分：将 add 函数应用于 1
const add1 = add(1);

// 第三部分：将 add1 函数应用于 2
const result = add1(2);

console.log(result); // 输出：3

在这个例子中，我们首先定义了一个名为 add 的函数，它接受一个参数 a，并返回一个内部函数，该内部函数接受一个参数 b，并返回 a 和 b 的和。然后，我们调用 add(1)，这会返回一个内部函数 add1，该函数只接受一个参数 b。最后，我们调用 add1(2)，这会返回最终的结果 3。

这段代码实际上是将 add 函数柯里化了，因为我们将它分解成了两个更小的函数，add1 和 add2。add1 函数只接受一个参数 b，它会将 b 与 add 函数中保存的 a 相加，并返回结果。add2 函数也是如此，它只接受一个参数 c，它会将 c 与 add 函数中保存的 a 相加，并返回结果。