17、深入探索 TypeScript 中的柯里化函数与枚举类型

深入探索 TypeScript 中的柯里化函数与枚举类型

1. 灵活柯里化函数的类型定义

在函数式编程中，柯里化是一种将多参数函数转换为一系列单参数函数的技术。在之前的实现里，柯里化函数允许传递任意数量的参数，但类型定义却只允许一次传递一个参数。

1.1 问题提出

原有的柯里化函数类型定义存在局限性，只能一次处理一个参数，而实际的柯里化函数可以接受任意数量的参数。例如：

function addThree(a: number, b: number, c: number) {
  return a + b + c;
}
const adder = curried(addThree);
const add7 = adder(5, 2); // 这里体现了差异
const result = add7(2);

1.2 解决方案

为了实现更灵活的类型定义，我们需要为所有可能的元组组合创建函数重载。具体步骤如下：
- 调整 Curried 辅助类型的调用方式 ：在原类型中，我们在辅助类型中推断函数参数和返回类型。现在，我们需要在多次类型调用中携带返回值，因此直接在 curry 函数中提取返回类型和参数：

function curry<A extends any[], R extends any>(
  fn: (...args: A