如何解决TypeScript中柯里化函数的类型不匹配错误？

问题背景 #

我正在为TypeScript中的柯里化函数定义类型，对应的JavaScript版本实现如下：

function curry1(fn) {
  return (x) => (fn.length === 1 ? fn(x) : curry1(fn.bind(undefined, x)));
}

该函数可将多参数函数转换为嵌套的一元函数，例如对接收三个参数的make3函数柯里化后，得到的函数等价于(a)=>(b)=>(c)=>result，执行结果符合预期。

我定义了泛型类型CURRY1用于描述柯里化后的函数类型：

type CURRY1<P extends any[], R> = P extends [infer H]
  ? (arg: H) => R // 仅1个参数时
  : P extends [infer H0, infer H1, ...infer T] // 2个及以上参数时
  ? (arg: H0) => CURRY1<[H1, ...T], R>
  : never;

并实现了带类型的柯里化函数：

function curry1<P extends any[], R>(fn: (...args: P) => R): CURRY1<P, R> {
  return (x: any): any => (fn.length === 1 ? fn(x) : curry1(fn.bind(undefined, x)));
}

当定义带类型的make3函数并调用curry1(make3)时，VSCode能正确推断返回函数类型，但TypeScript报错：Type '(x: any) => any' is not assignable to type 'CURRY1<P, R>' ts(2322)。添加// @ts-ignore可忽略错误，我想知道如何在不忽略错误的前提下解决该问题？

解决方法 #

TypeScript无法自动将返回的(x: any) => any类型与递归定义的CURRY1<P, R>类型做匹配，以下两种方法可以解决这个问题：

方法一：使用类型断言 #

直接将返回值断言为CURRY1<P, R>，因为我们明确知道实现逻辑和类型定义是一致的，这种方式简单高效：

function curry1<P extends any[], R>(fn: (...args: P) => R): CURRY1<P, R> {
  return ((x: any) => fn.length === 1 ? fn(x) : curry1(fn.bind(undefined, x))) as CURRY1<P, R>;
}

方法二：使用函数重载+辅助类型 #

通过重载函数更精准地对应不同参数长度的函数与柯里化类型，同时保留原有的实现逻辑：

// 重载签名：匹配单参数函数
function curry1<P extends [any], R>(fn: (...args: P) => R): (arg: P[0]) => R;
// 重载签名：匹配多参数函数
function curry1<P extends [any, any, ...any[]], R>(fn: (...args: P) => R): (arg: P[0]) => CURRY1<Rest<P>, R>;

// 辅助类型：提取数组除第一个元素外的剩余部分
type Rest<T extends any[]> = T extends [infer _, ...infer U] ? U : never;

// 实现签名
function curry1(fn: (...args: any[]) => any) {
  return (x: any) => fn.length === 1 ? fn(x) : curry1(fn.bind(undefined, x));
}

这种方式让TypeScript能清晰识别不同参数场景下的类型映射，避免了直接使用any断言，类型安全性更强。

验证示例 #

定义make3函数测试柯里化效果：

function make3(a: number, b: string, c: boolean): string {
  return `${a}-${b}-${c}`;
}

const curriedMake3 = curry1(make3);
// 类型自动推断为：(arg: number) => (arg: string) => (arg: boolean) => string
curriedMake3(1)('hello')(true); // 输出 "1-hello-true"

内容的提问来源于stack exchange，提问作者Federico Kereki