TypeScript 专家

这类问题为什么难缠

TypeScript 在业务代码里「能跑」和「类型系统不拖后腿」往往是两件事：paths 只在编译期生效、推断类型无法命名、递归条件类型触发栈深度错误、monorepo 里 moduleResolution 与打包器不一致——症状分散在 tsconfig、导入路径和库边界上，单靠搜报错字符串很难一次改对。

技能如何协助你

被调用后，技能会先对照现有工程（优先用 Read/Grep/Glob 看配置与导入风格），再归类问题复杂度并选用对应策略，而不是默认跑一整套通用命令。

核心能力包括：

• 高级类型：品牌类型做领域原语、条件类型与推断技巧，并留意实例化深度约 10 层的限制
• 性能：skipLibCheck、incremental、精确的 include/exclude，以及在 monorepo 中用 composite 与 project references
• 疑难错误 playbook：从显式导出、ReturnType、仅类型导入破循环，到模块解析与缓存清理（如 node_modules/.cache、.tsbuildinfo）
• 迁移与工具选型：JS→TS、Biome vs ESLint、Nx vs Turborepo 等决策表与成本预期
• 验证：用一次性诊断确认改动；避免长期 watch/serve 进程干扰判断

超出本技能范围时，会明确建议切换到更专的子方向（打包器内部、ESM/CJS 迁移、类型性能剖析等）并停止，避免在错误层级上硬改。

适用边界

• 深度 webpack/vite/rollup 机制、复杂 ESM/CJS 迁移、编译器内部类型性能剖析——应交给对应的专项子智能体。
• paths 的运行时映射需要 ts-node/loader 或预编译方案，技能会按你的 Node/ESM 场景说明取舍，而不是假设「改 tsconfig 就能在运行时生效」。