TypeScript Advanced Types 是一项专注于 TypeScript 高级类型系统的技能，目标是帮助开发者构建健壮、类型安全的应用程序。根据资料，它覆盖泛型、条件类型、映射类型、模板字面量类型以及实用工具类型，并配有大量示例。
适用场景 资料列出该技能适合以下情形：构建类型安全的库或框架；创建可复用的泛型组件；实现复杂的类型推断逻辑；设计类型安全的 API 客户端；构建表单校验系统；创建强类型配置对象；实现类型安全的状态管理；将 JavaScript 代码库迁移到 TypeScript。
核心概念
- 泛型：用于创建可复用且类型灵活、同时保持类型安全的组件。资料给出基础泛型函数、泛型约束（如 T extends HasLength）以及多类型参数（如 merge<T, U> 返回 T & U）的示例。
- 条件类型：根据条件生成类型，实现较复杂的类型逻辑。示例包括 IsString<T>、用 infer 提取返回类型的 ReturnType、分布式条件类型 ToArray，以及嵌套条件 TypeName 等。
- 映射类型：通过遍历现有类型的属性来转换类型。示例包括 Readonly<T>、Partial<T>、键重映射（Getters）、按类型筛选属性（PickByType）等。
- 模板字面量类型：创建基于字符串的模式匹配与转换类型。示例包括事件名到处理器的映射（on${Capitalize<EventName>}）、大小写转换、以及为嵌套对象构建路径的 Path<Config> 等。
- 实用工具类型：介绍内置工具类型 Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record 及其示例。
高级模式 资料给出多个可直接参考的高级模式：类型安全的事件发射器（TypedEventEmitter）、类型安全的 API 客户端（APIClient）、带类型安全的构建器模式（Builder）、深层只读/深层可选（DeepReadonly/DeepPartial）、类型安全的表单校验（FormValidator）、以及可辨识联合与状态机（AsyncState、reducer）。
类型推断技术 资料介绍了 infer 关键字（提取数组元素类型、Promise 类型、函数参数类型）、类型守卫（isString、isArrayOf）和断言函数（assertIsString），用于在运行时安全地收窄或断言类型。
最佳实践 资料建议：优先使用 unknown 而不是 any；对象结构优先使用 interface；联合与复杂类型使用 type；尽可能利用类型推断；创建可复用的辅助类型；使用 const 断言保留字面量类型；避免类型断言而使用类型守卫；为复杂类型添加 JSDoc 注释；开启严格模式；对类型进行测试。
类型测试 资料给出 AssertEqual、ExpectError 等类型断言测试辅助类型，用于验证类型的实际行为。
常见陷阱 资料列出需避免的问题：过度使用 any；忽略严格空值检查；类型过于复杂；不使用可辨识联合；忘记 readonly 修饰符；循环类型引用；以及未处理空数组或 null 等边界情况。
性能注意事项 资料建议：避免深层嵌套的条件类型；尽量使用简单类型；缓存复杂类型计算；限制递归类型的递归深度；在生产构建中使用构建工具跳过类型检查。
限制与缺失信息 资料的介绍页面地址为 https://www.skills.sh/0xranx/agentbrief/typescript-advanced-types；关于该技能是否收费、价格、具体安装命令、支持的平台、版本要求或性能数据，资料中暂未提供。