用途：帮助开发者掌握 TypeScript 高级类型系统，构建健壮、类型安全的库、框架与应用。
主要能力：泛型（含约束与多类型参数）、条件类型（含 infer、分布式与嵌套条件）、映射类型（含键重映射与属性过滤）、模板字面量类型（字符串模式与路径构建）、内置工具类型（Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record）。
典型模式：类型安全事件发射器、类型安全 API 客户端、带类型安全的建造者模式、深层 Readonly/Partial、类型安全表单校验、可辨识联合与状态机。
类型推断技巧：infer 关键字、类型守卫、断言函数。
最佳实践：用 unknown 替代 any、对象形状优先 interface、联合与复杂类型用 type、善用类型推断、创建可复用辅助类型、使用 const 断言、避免类型断言改用类型守卫、为复杂类型加 JSDoc、开启 strict 模式、编写类型测试。
适用场景：构建类型安全库或框架、可复用泛型组件、复杂类型推断逻辑、类型安全 API 客户端、表单校验系统、强类型配置对象、类型安全状态管理、JavaScript 代码库迁移到 TypeScript。
限制与注意：过度使用 any、忽略严格空值检查、类型过于复杂拖慢编译、未用可辨识联合、遗漏 readonly、循环类型引用、未处理空数组或 null 等边界情况。性能上应避免深层嵌套条件类型、优先简单类型、缓存复杂类型计算、限制递归深度、生产构建可跳过类型检查。
资源：TypeScript Handbook（https://www.typescriptlang.org/docs/handbook/）、Type Challenges（https://github.com/type-challenges/type-challenges）、TypeScript Deep Dive（https://basarat.gitbook.io/typescript/）、Effective TypeScript（Dan Vanderkam 著）。