用途：该技能面向需要深入使用 TypeScript 类型系统的开发者，帮助构建类型安全的库、框架、API 客户端、表单校验与状态管理，也适用于把 JavaScript 代码库迁移到 TypeScript。
主要能力：涵盖五类核心概念——泛型（含 extends 约束与多类型参数）、条件类型（含 infer、分布式与嵌套条件）、映射类型（含可选/只读改造、键重映射、按键值类型筛选属性）、模板字面量类型（含 Uppercase 等字符串操作与路径拼接）、内置工具类型（Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record）。
使用方式：以类型定义与函数签名为主，配合 infer、类型守卫（value is T）、断言函数（asserts value is string）实现类型推导与收窄；资料给出可辨识联合与 reducer 状态机写法，并建议用类型测试（如 AssertEqual）验证类型行为，开启 strict 模式。
适用场景：类型安全的 TypedEventEmitter、按路径与方法推导请求体/响应类型的 APIClient、逐步累积必填字段的 Builder、泛型 FormValidator、DeepReadonly/DeepPartial 配置对象、异步状态联合类型等。
限制与注意事项：资料未提供安装命令、包管理或运行环境要求、收费与平台信息，暂未提供。资料指出的常见陷阱包括滥用 any、忽略严格空值检查、类型过于复杂拖慢编译、递归类型深度过大、循环类型引用；性能上建议避免深层嵌套条件类型、必要时在生产构建中跳过类型检查。最佳实践建议优先 unknown、对象形状用 interface、联合与复杂类型用 type、尽量依赖类型推导、避免类型断言。