TypeScript 进阶主题涵盖类型系统的高级用法、性能注意点与工程化实践，本文汇总若干常见模式与反模式。
高级类型模式
- 条件类型（Conditional Types）与映射类型（Mapped Types）用于构造可组合的类型工具。
- 类型层级推导（infer）可用于从复杂类型中提取子类型。
可维护性实践
- 为公共 API 提供精确的类型签名，避免 any 泛化逃避。
- 使用
tsconfig严格模式（strict）捕获潜在类型错误。
性能与构建
- 复杂泛型可能导致类型检查变慢，适当简化类型或将复杂类型抽离到声明文件中。
- 增量构建（tsc --incremental）与项目引用（Project References）帮助大型仓库缩短构建时间。
与运行时协作
- 使用 Zod / io-ts 等库在边界处做运行时校验，保持类型与运行时数据的一致性。
结论
TypeScript 的强大来自其类型表达能力，但也可能增加复杂性。选择可维护的类型抽象并结合运行时校验，是长期演进的可靠策略。