用途：帮助开发者掌握 TypeScript 高级类型系统，构建健壮、类型安全的库、框架、可复用泛型组件、类型安全 API 客户端、表单校验系统、强类型配置对象与状态管理，也适用于将 JavaScript 代码库迁移到 TypeScript。
主要能力：讲解泛型（如 function identity<T>(value: T): T）、条件类型（T extends string ? true : false）、映射类型（Readonly、Partial 的写法）、模板字面量类型（如 on${Capitalize<EventName>}）以及内置工具类型 Partial、Required、Readonly、Pick、Omit。还涵盖 infer 关键字、类型守卫（value is string）、断言函数（asserts value is string）、StrictOmit、品牌类型（Branded Types）等进阶技巧，并给出泛型的“黄金法则”：类型参数若只出现在函数签名中，通常不必要。
使用方式：该技能通过上下文文件按需加载详细示例，包括 context/core-examples.md（泛型、条件、映射类型示例）、context/patterns.md（EventEmitter、API 客户端、Builder 等真实模式）、context/techniques.md（类型推断、守卫、断言、测试）。资料未提供安装命令或调用命令。
适用场景：类型安全库与框架开发、可复用泛型组件、复杂类型推断逻辑、类型安全 API 客户端、表单校验、强类型配置、类型安全状态管理、JS 迁移 TS。
限制与注意事项：避免过度使用 any、忽略严格空值检查、类型过于复杂导致编译变慢、未使用可辨识联合、遗漏 readonly、循环类型引用、未处理空数组或 null 等边界情况、未使用的泛型参数。性能上应避免深层嵌套条件类型、优先简单类型、缓存复杂类型计算、限制递归深度，并可在生产构建中跳过类型检查。资料未提供收费、价格或平台信息。