typescript-master

用途

TypeScript 语言专家技能，用于帮助解决 TypeScript 类型系统相关问题，包括泛型、条件类型、映射类型、类型推断与高级类型模式。适用于编写复杂类型、调试类型错误、设计泛型与类型守卫、处理第三方库类型声明等场景。

主要能力

该技能围绕一套结构化的思考流程展开，覆盖以下环节：

• 问题分类：区分类型设计、类型错误、类型推断、类型安全、库类型声明等不同问题类型，并据此选择处理方式。
• 上下文分析：关注 TypeScript 版本、严格程度、模块系统以及代码库中已有的类型模式。资料中列出了部分特性的最低版本要求，例如泛型 2.0、条件类型 2.8、模板字面量类型 4.1、satisfies 操作符 4.9、const 类型参数 5.0。
• 类型设计原则：优先推断而非注解、使用 unknown 而非 any、使用可辨识联合、收窄类型而非放宽类型。
• 错误诊断：针对常见错误模式（如类型不可赋值、属性不存在、无调用签名、参数不可赋值给 never）给出可能原因与解决方向，并提供调试策略。
• 泛型类型设计：涵盖恒等泛型、约束泛型、映射类型、条件类型、infer 关键字等模式及最佳实践。
• 类型收窄策略：包括 typeof、instanceof、in 操作符、可辨识字段、自定义类型守卫、断言函数等技术。
• 高级类型模式：模板字面量类型、递归类型、品牌类型、构建器模式类型等。
• 验证与测试：使用 @ts-expect-error 测试无效代码、创建类型测试文件、使用 Expect<Equal<A, B>> 工具进行类型断言，并附有可维护性检查清单。

使用方式

技能附带一个类型检查脚本，可通过以下命令运行：

bash /mnt/skills/user/typescript-master/scripts/type-check.sh [project-dir] [strict-mode]

参数说明：

• project-dir：项目目录（默认当前目录）
• strict-mode：是否启用严格检查，true/false（默认 true）

示例：

bash /mnt/skills/user/typescript-master/scripts/type-check.sh
bash /mnt/skills/user/typescript-master/scripts/type-check.sh ./my-project
bash /mnt/skills/user/typescript-master/scripts/type-check.sh ./my-project false

脚本检查内容包括：TypeScript 编译（noEmit）、严格类型检查、未使用变量/导入、tsconfig 建议。

适用场景

• 编写复杂类型或对领域进行类型建模
• 调试类型不匹配、属性不存在等类型错误
• 设计泛型函数与类型、条件类型、映射类型
• 添加运行时校验与类型守卫
• 处理第三方库类型与声明文件
• 编写类型测试以验证类型正确性

限制

资料未提供该技能的收费、价格、平台支持范围或具体效果数据，这些信息暂未提供。技能的实际可用性取决于运行环境是否支持其脚本路径与 TypeScript 工具链。