TypeScript 中的 HKT：模拟与实践

在TypeScript中模拟高阶类型：实用方法

TypeScript 原生不支持高阶类型（HKT），这限制了我们对 Array、Set 或 Promise 等类型构造器创建可复用抽象的能力。高阶类型允许你不仅参数化元素类型，还能参数化容器本身，从而为函子和单子等函数式编程模式提供强类型支持。没有 HKT，你不得不为每种数据类型重复实现 map 类似操作。

以实现 Set 的 map 为例：

type MapSet = <A, B>(f: (a: A) => B, set: Set<A>) => Set<B>;

同样，你还需为 ReadonlySet、LinkedList、ReadonlyArray 等分别实现。若无 HKT，这种重复不可避免——而有了 HKT，只需一个接口 Mappable<F>，其签名即为 F<A> → F<B>。

但 TypeScript 会报错：类型 'F' 不是泛型，因为它无法区分类型种类（ 表示字符串， → * 表示 Array）。

通过构造器字典模拟

最简单的替代方案是使用一个字符串键映射到类型的字典。

interface TypeConstructors<A> {
  'Array': Array<A>;
  'LinkedList': LinkedList<A>;
  'ReadonlySet': ReadonlySet<A>;
  'Set': Set<A>;
}

type Kind<F extends keyof TypeConstructors<unknown>, A> = TypeConstructors<A>[F];

Kind<'Array', number> 就会解析为 Array<number>。在此基础上，我们可以构建通用类型：

type Mappable<F extends keyof TypeConstructors<unknown>> = <A, B>(
  f: (a: A) => B,
  list: Kind<F, A>
) => Kind<F, B>;

针对具体类型的实现：

const mapArray: Mappable<'Array'> = (f, list) => list.map(f);
const mapSet: Mappable<'Set'> = (f, list) => new Set(Array.from(list, f));

参数数量限制与应对方案

该方法适用于一元构造器（ → ）。但对于二元构造器如 Map<K, V>，需要额外的字典：

interface TypeConstructors2<A, B> {
  Map: Map<A, B>;
  Record: Record<A, B>;
}

type Kind2<F extends keyof TypeConstructors2<unknown, unknown>, A, B> = TypeConstructors2<A, B>[F];

处理多参数类型时会变得复杂。在实际项目中，开发者通常依赖库来解决：

• hkt-toolbelt：支持最多 4 个参数，内置函子和单子相关工具。
• hkt-core：专注于类型性能，API 表面极简。

这些工具能实现接近原生 HKT 的类型推断，无需手动维护字典。

采用 HKT 的主要挑战

尽管呼声不断（问题 #1213、#55280），截至 2026 年，HKT 仍未被纳入 TypeScript。主要障碍包括：

• 编译器复杂度：引入类型种类多态性，扩展类型推断机制，适配结构化类型系统。
• 性能影响：大型函数式项目编译时间显著增加。
• 设计权衡：在表达力与 JavaScript 兼容性之间平衡，避免语法冗余。

可能的解决方案包括：

• 使用特殊标记如 F<~> 表示类型构造器。
• 通过增强条件类型实现，无需新增语法。
• 利用现有特性进行务实模拟。

最关键的几点

• HKT 可通过 Kind 映射实现，确保容器类型严格安全。
• hkt-toolbelt 和 hkt-core 等库极大简化了中高级项目的集成。
• 多参数类型需独立字典；一元类型更适合基础抽象场景。
• 未来原生支持可能通过渐进式改进实现，兼顾性能与可用性。
• 模拟方案可避免在 Array、Set、Promise 等类型间重复编写 map、flatMap 等函数，实现代码整洁。

— Editorial Team