用途
TypeScript 高级类型技能面向需要深入使用 TypeScript 类型系统的开发者，重点讲解泛型、条件类型、映射类型、模板字面量类型和工具类型，目标是构建类型安全、健壮的应用。
根据资料，该技能适用于以下场景：
- 构建类型安全的库或框架
- 创建可复用的泛型组件
- 实现复杂类型推断逻辑
- 设计类型安全的 API 客户端
- 构建表单校验系统
- 创建强类型配置对象
- 实现类型安全的状态管理
- 将 JavaScript 代码库迁移到 TypeScript
主要能力
泛型
用于创建可复用、类型灵活且保持类型安全的组件。示例包括基本泛型函数 identity，泛型约束（如用 T extends HasLength 限制类型必须具有 length 属性），以及多类型参数（如 merge 合并两个对象并返回交叉类型）。
条件类型
让类型依赖条件，实现更复杂的类型逻辑。示例包括 IsString<T> = T extends string ? true : false，使用 infer 提取函数返回类型（如自定义 ReturnType），分布式条件类型（如 ToArray<string | number> 得到 string[] | number[]），以及嵌套条件判断类型名称。
映射类型
通过遍历已有属性来转换类型。示例包括自定义 Readonly、Partial，键重映射生成 getter（如 get${Capitalize<string & K>}），以及按类型过滤属性（PickByType）。
模板字面量类型
用字符串模式匹配与转换创建字符串类型。示例包括由事件名生成处理函数名（on${Capitalize<EventName>} 得到 onClick、onFocus、onBlur），字符串大小写操作（Uppercase、Lowercase、Capitalize、Uncapitalize），以及递归构建对象路径类型（如 server、server.host、database.url）。
工具类型
介绍了内置工具类型：Partial、Required、Readonly、Pick、Omit、Exclude、Extract、NonNullable、Record，并给出各自示例。
资料提到更详细的模式示例位于 references/details.md，当上述导航摘要不足时可阅读该文件。
使用方式
该技能以提供类型模式、示例代码和指导为主。资料未提供安装命令、运行脚本或与具体工具的集成步骤，缺失事实暂未提供。开发者可将示例中的类型定义和模式直接应用到自己的 TypeScript 代码中。
最佳实践
资料列出的最佳实践包括：
- 使用 unknown 而非 any，强制类型检查
- 对象形状优先使用 interface，可获得更好的错误信息
- 联合类型和复杂类型使用 type，更灵活
- 充分利用类型推断，能推断时让 TypeScript 推断
- 创建可复用的辅助类型
- 使用 const 断言保留字面量类型
- 避免类型断言，改用类型守卫
- 为复杂类型添加 JSDoc 注释
- 启用 strict 模式，打开所有严格编译选项
- 对类型进行测试，验证类型行为
类型测试
资料给出类型断言测试示例，例如 AssertEqual<string, string> 为 true，AssertEqual<string, number> 为 false，以及 ExpectError 辅助类型用于期望报错的场景。
常见陷阱
- 过度使用 any，违背 TypeScript 的初衷
- 忽略严格空值检查，可能导致运行时错误
- 类型过于复杂，拖慢编译
- 不使用可辨识联合，错过类型收窄机会
- 忘记 readonly 修饰符，导致意外修改
- 循环类型引用，可能引发编译错误
- 未处理边界情况，如空数组或 null 值
性能注意事项
- 避免过深的嵌套条件类型
- 尽可能使用简单类型
- 缓存复杂类型计算
- 限制递归类型的递归深度
- 使用构建工具在生产环境跳过类型检查
限制
资料未提供该技能的安装方式、版本要求、依赖项、收费信息或与其他工具的集成说明，这些事实暂未提供。