17、TypeScript 中灵活 curry 函数与枚举类型的实现

TypeScript 中灵活 curry 函数与枚举类型的实现

1. 灵活 curry 函数的类型定义

在函数式编程中，curry 函数是一个非常有用的工具，它允许我们将一个多参数函数转换为一系列单参数函数。然而，之前实现的 curry 函数虽然允许传递任意数量的参数，但类型定义只能一次接受一个参数。下面我们将详细介绍如何扩展类型定义以支持更灵活的 curry 函数。

1.1 问题描述

之前的 curry 函数类型定义只能一次接受一个参数，而实际的 curry 函数可以接受任意数量的参数。例如：

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 解决方案

我们需要扩展类型定义，为所有可能的元组组合创建函数重载。具体步骤如下：
1. 调整 curry 函数的调用方式 ：

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