用途：该技能面向需要深入掌握 TypeScript 类型系统的开发者，帮助构建类型安全的库、框架、可复用泛型组件、类型安全 API 客户端、表单校验系统、强类型配置对象与状态管理，也适用于将 JavaScript 代码库迁移到 TypeScript。
主要能力：讲解泛型（含约束与多类型参数）、条件类型（含 infer、分布式与嵌套条件）、映射类型（含键重映射与属性过滤）、模板字面量类型（含字符串操作与路径构建）以及内置工具类型（Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record）。同时给出类型安全事件发射器、API 客户端、Builder 模式、深层 Readonly/Partial、表单校验、可辨识联合等高级模式，并介绍 infer 关键字、类型守卫、断言函数等推断技巧。
使用方式：资料未提供安装命令或具体运行步骤，仅以代码示例展示各类型写法与用法，例如 function identity<T>(value: T): T 与 type IsString<T> = T extends string ? true : false。
适用场景：类型安全库与框架开发、泛型组件、复杂类型推断、API 客户端设计、表单校验、强类型配置、类型安全状态管理、JS 迁移 TS。
限制与注意事项：资料提醒避免过度使用 any、忽略严格空值检查、类型过于复杂导致编译变慢、忘记 readonly、循环类型引用等问题；性能上应避免深层嵌套条件类型、限制递归深度，并可在生产构建中跳过类型检查。官方文档、Type Challenges 等资源链接已给出。