用途：该技能面向需要掌握 TypeScript 高级类型系统的开发者，帮助构建类型安全的库、框架、可复用泛型组件、复杂类型推断逻辑、类型安全 API 客户端、表单校验系统、强类型配置对象与状态管理，以及把 JavaScript 代码库迁移到 TypeScript。
主要能力：涵盖五类核心概念。泛型：泛型函数、泛型约束（如 T extends HasLength）与多类型参数合并（T & U）。条件类型：基本条件类型、用 infer 提取返回类型、分布式条件类型与嵌套条件。映射类型：只读/可选映射、键重映射（as 配合模板字面量生成 get 前缀方法）与按键类型筛选属性。模板字面量类型：字符串模式匹配、大小写工具类型与递归路径类型构建。工具类型：Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record。
进阶模式：类型安全事件发射器、类型安全 API 客户端、带类型安全的构建器模式、深层只读与深层可选、类型安全表单校验、可辨识联合与状态机。还包含类型推断技巧（infer 关键字、类型守卫、断言函数）、最佳实践（用 unknown 替代 any、优先 interface 描述对象结构、少用类型断言、开启 strict 模式、为复杂类型写测试）以及类型测试辅助类型与常见陷阱、性能注意事项。
使用方式：资料未提供独立的安装命令或运行步骤，主要通过阅读类型定义与代码示例理解并在 TypeScript 项目中应用。示例代码保留原样，不在此重写。
适用场景：类型安全的库与框架、泛型组件、API 客户端、表单校验、配置对象、状态管理与 JS 到 TS 迁移。限制：资料未提供收费、价格、平台支持范围等具体信息；未提供官方仓库之外的版本、许可与维护状态，均暂未提供。