柯里化函数在 TypeScript 中实现“完美类型推导提示”的关键是递归条件类型 + 元组展开 + 剩余参数约束，通过模式匹配解构元组、逐层提取参数类型并终止于空元组，配合泛型标注提升推导稳定性。
柯里化函数在 TypeScript 中实现“完美类型推导提示”，关键不在于强行追求 100% 自动推导，而在于用递归条件类型 + 元组展开 + 剩余参数约束，让每一步调用都获得精准的参数类型和返回类型。TypeScript 本身不支持运行时柯里化自动泛型推导，但通过类型层面建模函数签名结构，可以逼近理想体验。
用递归条件类型建模“逐步消耗参数”的过程
核心思路是把函数参数元组 T extends any[] 看作一个可递归拆解的结构：每次取第一个参数类型，剩余部分构成新元组，直到为空。TypeScript 4.7+ 支持对元组的模式匹配（如 [head, ...tail]），配合条件类型即可递归定义柯里化后的类型：
- 定义
Curry<f></f>类型：若F是(...args: [...A]) => R，则Curry<f></f>应为能接受A[0]、返回Curry R>的函数 - 用
infer提取首尾：例如T extends [infer Head, ...infer Tail]可安全解构非空元组；空元组则直接返回最终结果类型R - 注意终止条件：当
T = []时，返回R而非继续递归，否则类型会陷入无限展开
用元组展开保证参数顺序与数量严格对应
单纯用 ...args: T 无法让 TS 在每一步感知“还剩几个参数”，必须把参数元组显式展开为具名位置类型。例如：Curry void> 应生成类似 (a: string) => (b: number) => (c: boolean) => void 的嵌套签名，而非 (...args: any[]) => any。
- 借助映射类型 + 索引访问：对元组
T的每个索引I，生成第I层函数，其参数为T[I]，返回类型为下一层 - 实际常用写法是递归 + 剩余元组：每次只处理
[Head, ...Tail]，Head 作为当前参数类型，Tail 交给下一层 Curry 处理 - 避免使用
any[]或unknown[]—— 这会让类型信息丢失；始终保留元组的长度和元素类型精度
手动标注泛型参数提升推导稳定性
TypeScript 的类型推导在深层嵌套时容易“放弃”或回退到 any，尤其涉及高阶泛型和条件类型。为确保每步提示准确，建议在关键位置显式标注：
- 柯里化函数实现本身用泛型约束：例如
function curry<f extends any> any>(fn: F): Curry<f></f></f> - 调用时若 TS 推导不准，可临时用尖括号指定：
curry number>(fn) - 对含重载的函数，Curry 类型需额外处理 —— 通常建议先用
Parameters和ReturnType提取主签名，或放弃重载支持以保类型简洁
实际可用的 Curry 类型定义（精简版）
以下是一个经验证能在 VS Code 中提供良好提示的实现（适配 TS 4.8+）：
type Curry<F> = F extends (...args: infer A) => infer R
? A extends []
? R
: A extends [infer Head, ...infer Tail]
? (arg: Head) => Curry<(...args: Tail) => R>
: never
: never
: never;
搭配运行时函数（需断言类型）即可获得逐层参数提示。注意：此类型不处理 this 上下文或重载，但覆盖了绝大多数场景。
