像专家一样编写 TypeScript：类型编程与性能优化指南 #

解决 TypeScript 开发中的深水区问题：通过 AI 专家级引导，攻克复杂的类型体操、缓慢的编译速度、棘手的 Monorepo 配置以及 JS 到 TS 的平滑迁移。

为什么需要这个技能 #

TypeScript 在基础使用上门槛较低，但在大型企业级项目中，开发者经常遇到以下痛点：

• 类型复杂度过高：编写通用库或复杂 API 时，简单的接口无法满足需求，需要“类型级编程（Type-Level Programming）”。
• 编译性能瓶颈：随着代码量增加，tsc 检查速度变慢，导致开发反馈周期拉长。
• 工程化陷阱：在 Monorepo 环境下，tsconfig 的引用、路径映射（Path Mapping）和模块解析经常出现诡异的报错。
• 迁移成本高：老旧的 JS 项目在引入 TS 时，由于缺乏策略，容易陷入全量重写的泥潭。

本技能通过一套完整的诊断-实施-验证工作流，让 AI 扮演 TypeScript 首席架构师，提供工业级的解决方案。

适用场景 #

• 构建类型安全的 DSL 或库：需要使用 Branded Types 或递归条件类型来强制约束业务领域模型。
• 优化构建流水线：诊断 tsc 慢的原因，配置增量编译或 Project References。
• 架构升级：将 Lerna 迁移至 Turborepo/Nx，或将 CJS 模块体系升级为 ESM。
• 疑难杂症排查：解决如 “The inferred type of X cannot be named” 或递归深度超限等编译器错误。

核心工作流 #

1. 环境全面分析：AI 首先通过 npx tsc --version、解析 package.json 和检测工作区配置文件（如 pnpm-workspace.yaml），确认当前的工具链生态。
2. 问题分类定位：将问题划分为“类型系统”、“构建性能”、“模块解析”或“迁移策略”四大类，匹配对应的解决模式。
3. 实施专家级方案：
   • 类型层面：应用 satisfies 操作符、模板字面量类型或名义类型（Branded Types）。
   • 性能层面：配置 skipLibCheck，优化 include/exclude，引入 Biome 替代部分 ESLint 规则。
   • 工程层面：通过 composite: true 配置项目引用，解决 Monorepo 依赖问题。
4. 严格验证闭环：使用 npx tsc --noEmit 进行快速类型检查，并利用 Vitest 的 expectTypeOf 编写类型测试，确保重构未破坏类型契约。

下载和安装 #

下载 typescript-expert 中文版 Skill ZIP

解压后将目录放入你的 AI 工具 skills 文件夹，重启工具后即可使用。具体路径参考内附的 USAGE.zh.md。

你可能还需要 #

暂无推荐