TypeScript 进阶专家

要解决什么问题

中大型项目里，TypeScript 往往停在「能编译」：共享 DTO 与 API 契约不一致、泛型约束写不全导致运行时才发现错误、tsconfig 各包各样、第三方库缺少或错误的 .d.ts。这类问题不会靠多写几个 any 解决，需要的是高级类型系统、严格编译选项和可维护的模块边界。

技能如何工作

本技能把助手定位为企业级 TypeScript 专家，按四步推进：

1. 定义运行时目标与严格性——明确 Node/React/Express 等栈，以及是否启用 strict、装饰器等要求。
2. 为关键界面建模类型与契约——接口、抽象类、泛型与工具类型，优先在边界层（API、事件、配置）建立强类型。
3. 借助编译器与 lint 落地——TSConfig、增量编译、类型推断与显式标注的平衡。
4. 验证构建性能与开发者体验——避免类型体操拖慢 CI 或 IDE。

重点领域包括：条件类型与映射类型、自定义工具类型、类型化异常与错误边界、Jest/Vitest 中的类型断言，以及面向外部库的声明文件。

适用边界

• 适用：设计共享类型架构、排查复杂推断/泛型问题、为生产系统强化类型安全。
• 不适用：只要 JavaScript 写法指引、无法在构建流水线中强制 TypeScript、或需要的是 UI/UX 而非类型设计。

技能同时支持严格与渐进式方案，输出强调 TSDoc 与与当前 TypeScript 版本兼容。