用途：该技能提供 TypeScript 高级类型系统的系统化指导，帮助开发者构建健壮、类型安全的库、框架与应用，也适用于把 JavaScript 代码库迁移到 TypeScript。
主要能力：涵盖泛型（含约束与多类型参数）、条件类型（含 infer、分布式条件类型与嵌套判断）、映射类型（含键重映射与按类型筛选属性）、模板字面量类型（字符串模式与路径构建）以及内置工具类型（Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record、ReturnType、Parameters 等）。还给出类型安全事件发射器、深层 Readonly/Partial、可辨识联合等高级模式，以及类型守卫、断言函数和 infer 推断技巧。
使用方式：资料未提供安装命令或调用步骤，仅说明适用场景，包括构建类型安全库或框架、创建可复用泛型组件、实现复杂类型推断、设计类型安全 API 客户端、表单校验系统、强类型配置对象、类型安全状态管理以及 JavaScript 迁移。
限制与注意：资料未提供收费、价格、平台或效果信息。建议避免过度使用 any、忽略严格空值检查、创建过于复杂的类型、遗漏 readonly 修饰符，以及在类型守卫可用时仍使用类型断言；同时注意循环类型引用、过深嵌套条件、缺少可辨识字段、infer 作用域和联合类型分发等常见陷阱。参考资源包括 TypeScript 官方手册、Type Challenges 与 TypeScript Deep Dive。