用途：本技能提供掌握 TypeScript 高级类型系统的综合指导，帮助构建健壮、类型安全的应用程序，适用于类型安全库或框架、可复用泛型组件、复杂类型推断逻辑、类型安全 API 客户端、表单校验系统、强类型配置对象、类型安全状态管理以及 JavaScript 代码库向 TypeScript 迁移等场景。
主要能力：涵盖五类核心概念。泛型用于创建可复用且保持类型安全的组件，支持泛型约束（如 T extends HasLength）与多类型参数；条件类型让类型依赖条件，支持 infer 提取返回类型、分布式条件类型与嵌套条件；映射类型通过遍历属性转换既有类型，支持只读、可选、键重映射（as 配合 Capitalize）与按值类型过滤属性；模板字面量类型用于基于字符串的模式匹配与转换，如 on${Capitalize<EventName>} 与路径拼接；工具类型包括 Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record 等内置类型。
高级模式：资料给出类型安全事件发射器、类型安全 API 客户端、带类型安全的建造者模式、深层 Readonly/Partial、类型安全表单校验、可辨识联合等示例；还介绍 infer 关键字、类型守卫（value is T）、断言函数（asserts value is string）等类型推断技巧，以及类型测试方法（如 AssertEqual 辅助类型）。
最佳实践与限制：建议用 unknown 取代 any、对象形状优先 interface、联合与复杂类型用 type、充分利用类型推断、创建可复用辅助类型、使用 const 断言、避免类型断言改用类型守卫、为复杂类型添加 JSDoc、启用严格模式并测试类型。常见陷阱包括滥用 any、忽略严格空值检查、类型过于复杂拖慢编译、未用可辨识联合等。性能上应避免深层嵌套条件类型、尽量使用简单类型、缓存复杂类型计算、限制递归深度，并在生产构建中跳过类型检查。资料未提供具体安装命令、收费或价格信息。