TypeScript高阶函数类型推断问题：pipe函数用恒等函数返回unknown

问题重现 #

你定义了一个单函数版本的pipe：

const pipe = <T, U>(map: (input: T) => U) => (initial: T): U => map(initial);

但使用恒等函数时，返回类型被推断为unknown，不符合预期：

// test 的类型为 unknown，期望是 number
const test = pipe(i => i)(1);

你的假设验证 #

你的假设完全正确：

• 调用pipe(i => i)时，TypeScript 没有上下文可以推断泛型T的具体类型，因此默认将T和U都推断为unknown，得到类型为(initial: unknown) => unknown的返回函数。
• 后续传入1（类型为number）时，由于number可以赋值给unknown，函数调用合法，但返回值类型仍为unknown，最终test的类型就是unknown。

解决方案 #

要让 TypeScript 延迟类型推断到传入初始值的阶段，有两种简洁的实现方式：

方案1：直接返回传入的函数

这种方式保留原函数的泛型特性，无需额外类型约束，对单函数场景完全适用：

const pipe = <F extends (input: any) => any>(fn: F) => fn;

测试效果：

// test 类型为 number
const test = pipe(i => i)(1);
// str 类型为 string
const str = pipe((x: number) => x.toString())(123);

方案2：使用函数重载支持多场景（扩展到多函数 pipe）

如果后续需要扩展支持多个函数的链式调用，可以通过函数重载实现类型安全的pipe：

type UnaryFn<T, U> = (input: T) => U;

// 单函数重载
function pipe<A>(fn: UnaryFn<A, A>): (input: A) => A;
// 双函数重载
function pipe<A, B>(fn1: UnaryFn<A, B>): (input: A) => B;
// 三函数重载（可按需扩展更多）
function pipe<A, B, C>(fn1: UnaryFn<A, B>, fn2: UnaryFn<B, C>): (input: A) => C;

// 实现逻辑
function pipe(...fns: Function[]) {
  return (initial: unknown) => fns.reduce((acc, fn) => fn(acc), initial);
}

测试效果：

// test 类型为 number
const test = pipe(i => i)(1);
// 链式调用：number -> string -> number，最终类型为 number
const chained = pipe(
  (x: number) => x.toString(),
  (s: string) => parseInt(s)
)(123);

社区相关讨论背景 #

这类问题本质是泛型推断时机的问题，在 TypeScript 函数式编程社区中很常见。核心思路是通过延迟泛型推断（让类型推断发生在传入初始值时，而非调用pipe时）来解决。主流函数式库的pipe函数都采用类似的类型设计，确保链式调用时每一步的类型都能被正确推断。

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