泛型 API 设计与类型性能：条件类型的复杂度治理
系统覆盖 TypeScript 泛型 API 设计的高阶主题：泛型约束与类型参数的设计目标、条件类型分发与 infer 推断的边界、递归类型的深度控制、类型计算性能问题的成因（instantiation depth/conditional 爆炸/类型水蛭）、诊断工具（tsc traceResolution/--extendedDiagnostics/性能剖析）、优化策略（缓存/分解/延迟计算）、以及库作者的类型复杂度预算，帮助高级开发者写出「表达力强又检查飞快」的类型 API。