TypeScript在pipe中已正确推断类型却仍抛出类型错误的原因

我正在实现一个可用于fp-ts中pipe的高阶函数partialApply，它结合从输入计算的延迟参数与直接传入的静态参数。直接使用该函数时，TypeScript因缺乏上下文将lazyArgs的参数推断为unknown，这个报错是合理的；但在pipe中，TypeScript已能正确推断该参数为number，却仍抛出相同类型错误，只有显式注解参数类型才能解决问题。请问此现象的原因是什么？

相关代码示例 #

// 工具函数
function partialApply<FROM, TO, LAZY_ARGS extends object, STATIC_ARGS extends object>(
  func: (args: LAZY_ARGS & STATIC_ARGS) => TO,
  lazyArgs: (arg: FROM) => LAZY_ARGS,
  staticArgs: STATIC_ARGS
): (arg: FROM) => TO {
  return (arg: FROM) => func({ ...lazyArgs(arg), ...staticArgs });
}

// pipe内的问题代码
const calculateSum = ({ a, b }: { a: number; b: number }) => ({ sum: a + b });
const pipe = <A, B>(arg: A, func: (arg: A) => B) => func(arg);
const result = pipe(
  3,
  partialApply(
    calculateSum,
    (num) => ({ a: num }), // 悬停显示num为number
    { b: 5 }
  )
);
// 仍抛出类型错误，显式注解num: number可修复

原因分析 #

这是因为TypeScript的类型推断存在**"上下文关联顺序"**限制：

• 当在pipe中调用partialApply时，TypeScript会先尝试推断partialApply的泛型参数，再把推断结果和pipe的A类型（即number）做关联。
• 但partialApply的泛型参数依赖是双向的：LAZY_ARGS和STATIC_ARGS需要匹配func的入参类型，而FROM又需要匹配lazyArgs的参数类型。这种多方向的依赖会让TypeScript的推断器陷入"循环"，无法同时满足所有约束。
• 虽然编辑器能通过pipe的输入值"提前"显示num的类型是number，但这只是编辑器的语法提示补全，并非TypeScript类型检查阶段完成的完整推断。类型检查器依然无法确认lazyArgs返回的{a: num}是否能和staticArgs的{b:5}合并后匹配calculateSum的入参类型，除非显式给num加上类型注解，打破这个推断循环。

简单来说，TypeScript无法同时完成partialApply内部泛型的双向推断和外部pipe的上下文传递，必须通过显式注解明确其中一个节点的类型，让推断链能顺利完成。

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