用途：该技能面向 TypeScript 高级类型系统，帮助开发者构建健壮、类型安全的库、框架、组件与 API 客户端，也适用于将 JavaScript 代码库迁移到 TypeScript。
主要能力：涵盖泛型（含约束与多类型参数）、条件类型（含 infer、分布式与嵌套条件）、映射类型（含键重映射与属性过滤）、模板字面量类型（字符串模式与路径构建）以及内置工具类型（Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record 等）。还给出类型安全事件发射器、API 客户端、Builder 模式、深层 Readonly/Partial、表单校验、可辨识联合等模式，以及类型推断技巧（infer、类型守卫、断言函数）、最佳实践、类型测试、常见陷阱与性能注意事项。
使用方式：资料未提供安装命令或具体调用方式，仅以代码示例展示各类型写法与模式。
适用场景：类型安全库/框架、可复用泛型组件、复杂类型推断、类型安全 API 客户端、表单校验系统、强类型配置对象、类型安全状态管理、JS 迁移 TS。
限制：资料未提供收费、价格、平台或效果信息；复杂类型可能拖慢编译，需注意递归深度与嵌套条件类型。