请解释什么是柯里化 (Currying)，并实现一个简单的 curry 函数。

推荐答案

柯里化（Currying）是一种将使用多个参数的一个函数转换成一系列使用一个参数的函数的技术。简单来说，柯里化就是把一个接收多个参数的函数，分解成一系列接收单个参数的函数，并且返回接收余下参数且返回结果的新函数。

以下是一个简单的 curry 函数的实现：

-- -------------------- ---- -------
-------- --------- -
  ----- ----- - ---------- -- -----------

  ------ -------- ---------------- -
    -- ------------ -- ------ -
      ------ ------------ -- -------------------
    - ---- -
      ------ ------------- -- ---------------- ------------- -- -----------------
    -
  --
-

本题详细解读

柯里化的概念

柯里化（Currying）是函数式编程中一个重要的概念。它将一个多参数的函数转换成一系列单参数函数的过程。 这种转换不是直接计算结果，而是将函数逐步拆解，允许你先传递一部分参数，然后返回一个接收剩余参数的新函数。 这样做的好处是可以提高代码的灵活性和可复用性，同时有助于创建更易读、易维护的代码。

例如，假设我们有一个函数 add(a, b, c)，柯里化后它可以变成 curriedAdd(a)(b)(c) 或者 curriedAdd(a)(b, c) 。

柯里化的作用

• 参数复用: 通过柯里化，可以提前绑定部分参数，生成新的函数，便于参数的复用。
• 延迟执行: 柯里化可以延迟函数的执行，直到接收到所有参数。
• 提高代码可读性: 柯里化可以将一些复杂逻辑分解成多个简单步骤，使代码更加清晰易懂。
• 函数组合: 柯里化是函数式编程中进行函数组合的基础。

curry 函数的实现原理

上面提供的 curry 函数实现了一个通用的柯里化方法，它的工作原理如下：

1. 获取函数参数数量 arity： 使用 fn.length 来获取函数期望接收的参数个数。
2. 返回 curried 函数： 返回一个名为 curried 的闭包函数。这个闭包会接收任意数量的参数 (...args)。
3. 判断参数是否足够： 检查 args 的长度是否大于或等于 arity。
   • 如果足够： 使用 fn(...args) 调用原始函数，传递所有已接收的参数，并返回结果。
   • 如果不足够： 返回一个新的函数，这个函数会接收后续的参数(...nextArgs)。 该函数会将之前接收的参数 (...args) 与新的参数 (...nextArgs) 合并起来，并再次调用 curried 函数，继续判断参数是否足够。

这个过程会不断递归进行，直到收集到足够数量的参数，然后执行原始函数。

示例

-- -------------------- ---- -------
-------- ------ -- -- -
  ------ - - - - --
-

----- ---------- - -----------

--------------------------------- -- -- -
------------------------- ------- -- -- -
---------------------------- ---- -- -- -
------------------------- -- ----  -- -- -

----- ---- - -------------- -- ---- ---
------------------------ -- -- --

以上代码展示了如何使用 curry 函数柯里化 add 函数，并展示了柯里化的多种调用方式。