用途：该技能提供掌握 TypeScript 高级类型系统的系统化指导，帮助构建健壮、类型安全的应用程序，适用于编写类型安全库或框架、可复用泛型组件、复杂类型推断逻辑、类型安全 API 客户端、表单校验系统、强类型配置对象、类型安全状态管理，以及将 JavaScript 代码库迁移到 TypeScript。
主要能力：涵盖五大核心概念。泛型用于创建可复用且类型灵活的函数与组件，支持泛型约束（如 T extends HasLength）和多类型参数（如 merge<T, U> 返回 T & U）。条件类型根据条件生成类型，支持 infer 提取返回类型、分布式条件类型与嵌套条件。映射类型通过遍历属性转换现有类型，支持只读、可选、键重映射（as 子句）与按类型过滤属性。模板字面量类型用于字符串模式匹配与转换，如生成 onClick 等事件名、构建嵌套路径类型。工具类型包括 Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record 等内置类型。
高级模式：文档给出类型安全事件发射器、类型安全 API 客户端、类型安全构建器、深层 Readonly/Partial、类型安全表单校验、可辨识联合等模式，并介绍 infer 关键字、类型守卫、断言函数等推断技巧。
最佳实践与限制：建议用 unknown 替代 any、优先 interface 描述对象形状、用 type 描述联合与复杂类型、善用类型推断、创建辅助类型、使用 const 断言、避免类型断言而改用类型守卫、为复杂类型添加 JSDoc、启用严格模式并测试类型。常见陷阱包括滥用 any、忽略严格空值检查、类型过于复杂拖慢编译、未使用可辨识联合、遗漏 readonly、循环类型引用、未处理边界情况。性能上应避免深层嵌套条件类型、优先简单类型、缓存复杂类型计算、限制递归深度，并在生产构建中跳过类型检查。
资源：TypeScript 官方手册、Type Challenges、TypeScript Deep Dive 及《Effective TypeScript》。具体安装命令与版本要求暂未提供。