2.1 为什么是最后一个 JS 版本？#

TypeScript 自诞生以来，编译器一直使用 TypeScript/JavaScript 自举实现。随着项目规模的增长和用户基数的膨胀（全球超过 1000 万开发者），JS 单线程性能瓶颈日益凸显。

微软在 2025 年启动了 Project Corsa——使用 Go 语言重写 TypeScript 编译器核心：

2.2 7.0 的开发进度#

TypeScript 7.0 已经”非常接近完成”，Nightly Build 可通过以下方式提前体验：

1
npm install -D @typescript/native-preview

同时 VS Code 用户可安装对应的 Nightly 扩展，在大型代码库上测试 Go 原生编译器的实际表现。

3.1 es2025 Target / Lib#

TypeScript 6.0 新增了 es2025 作为编译目标和库选项。es2025 类型的核心内容来自已进入 Stage 4 的 TC39 提案：

• RegExp.escape()：安全转义正则表达式中的特殊字符
• Promise.try()：统一同步/异步函数调用的 Promise 包装
• Iterator 辅助方法：Iterator.prototype.map/filter/take/drop 等链式操作
• Set 方法：Set.prototype.union/intersection/difference/symmetricDifference 等集合运算

1
// es2025 新增能力示例
2
const escaped = RegExp.escape("foo.bar");  // "foo\\.bar"
3

4
const result = await Promise.try(() => mayThrow());
5

6
const nums = new Set([1, 2, 3]);
7
const evens = new Set([2, 4, 6]);
8
const union = nums.union(evens);  // Set {1, 2, 3, 4, 6}

3.2 Temporal API 类型支持#

Temporal API 已进入 Stage 4，将成为 JavaScript 标准的日期时间处理方案。TypeScript 6.0 通过 esnext.temporal lib 提供完整类型支持：

1
// Temporal API — 现代 JavaScript 日期处理
2
const now = Temporal.Now.plainDateTimeISO();
3
const meeting = now.add({ hours: 2, minutes: 30 });
4

5
const duration = meeting.since(now);
6
console.log(duration.toString()); // "PT2H30M"

3.3 Map “Upsert” 方法#

TypeScript 6.0 为 Map 新增了两个实用的类型方法：

• getOrInsert(key, value)：键不存在时插入默认值并返回
• getOrInsertComputed(key, factory)：键不存在时通过工厂函数计算并插入

1
const cache = new Map<string, number[]>();
2

3
// 传统写法
4
let items = cache.get("key");
5
if (!items) {
6
  items = [];
7
  cache.set("key", items);
8
}
9

10
// 6.0 新写法
11
const items = cache.getOrInsertComputed("key", () => []);

3.4 Subpath Imports (#/)#

TypeScript 6.0 在 nodenext 和 bundler 模块解析模式下，正式支持 Node.js 风格的包内导入路径：

1
{
2
  "imports": {
3
    "#utils/*": "./src/utils/*.ts",
4
    "#components/*": "./src/components/*.ts"
5
  }
6
}

1
// 使用 # 前缀简洁导入
2
import { formatDate } from "#utils/date";
3
import { Button } from "#components/Button";

3.5 --stableTypeOrdering 标志#

TypeScript 6.0 新增了 --stableTypeOrdering 迁移诊断标志。启用后，6.0 的类型排序算法与 7.0 的确定性排序算法保持一致。

⚠️ 注意：此标志可能导致类型检查速度降低 25%，仅在准备迁移到 7.0 时使用。

3.6 DOM 类型合并#

dom.iterable 和 dom.asynciterable 的内容已合并入 dom lib，开发者不再需要为可迭代 DOM 类型单独声明。

4.1 默认值变更一览#

这是 TypeScript 6.0 中影响最为广泛的变更——多个历史默认值被一举翻转：

4.2 types: [] 的巨大影响#

最受关注的变化当属 types 默认值改为空数组。这意味着 @types 包不再被自动发现并加载，需要通过 types 字段显式声明。

微软团队透露，部分项目的冷构建时间因此缩短了 20%-50%。

升级后必须立即检查 tsconfig.json：

1
{
2
  "compilerOptions": {
3
    "types": ["node"]  // 必须显式声明
4
  }
5
}

否则会出现大量 Cannot find name 'console'、Cannot find name 'process' 等标识符缺失错误。

4.3 rootDir 默认改为 .#

这一变更会影响输出目录结构：

1
# 旧行为（rootDir 自动推断为 src/）
2
# 新行为（rootDir 默认为 .）
3
# 输出：dist/src/index.js   ← 多了一层！

升级时建议显式设置：

1
{
2
  "compilerOptions": {
3
    "rootDir": "./src"
4
  }
5
}

4.4 strict: true 默认开启#

TypeScript 6.0 默认开启 strict: true，这意味着以下所有子选项均默认启用：

• strictNullChecks
• strictBindCallApply
• strictFunctionTypes
• strictPropertyInitialization
• noImplicitAny
• noImplicitThis
• alwaysStrict
• useUnknownInCatchVariables

如果你的项目之前未启用 strict 模式，升级后可能会看到大量新的类型错误。大多数错误是合理的，反映了代码中潜在的 bug。

5.1 编译器选项#

5.2 语法弃用#

• 模块命名空间语法：module Foo { } → 使用 namespace Foo { }
• Import Assertions：import ... assert { type: "json" } → 使用 import ... with { type: "json" }

5.3 如何应对#

在 6.0 中，可通过配置暂时抑制弃用错误：

1
{
2
  "compilerOptions": {
3
    "ignoreDeprecations": "6.0"
4
  }
5
}

但请注意：7.0 将完全不再支持这些选项，ignoreDeprecations: "6.0" 届时也将失效。

6.1 最小化迁移步骤#

将现有项目升级到 TypeScript 6.0 的建议流程：

1
# 1. 升级 TypeScript
2
npm install -D typescript@latest
3

4
# 2. 检查 TypeScript 版本
5
npx tsc --version

6.2 必需配置调整#

升级后，大多数项目需要立即进行两项配置调整：

1
{
2
  "compilerOptions": {
3
    // 1. 显式声明类型来源（必须！）
4
    "types": ["node"],
5

6
    // 2. 显式设置 rootDir（否则输出结构错乱）
7
    "rootDir": "./src"
8
  }
9
}

6.3 推荐迁移路径#

1
现有项目
2
  ├── 升级至 TypeScript 6.0
3
  ├── 处理 strict 默认开启带来的新错误
4
  ├── 显式设置 types、rootDir
5
  ├── 逐一消除弃用警告
6
  ├── 配置新的 module/target 默认值
7
  ├── （可选）启用 --stableTypeOrdering 测试 7.0 兼容性
8
  └── 准备迎接 TypeScript 7.0 Go 编译器

6.4 在大型项目中渐进式迁移#

对于大型代码库，建议：

1. 先在 CI 中单独运行 6.0 编译，不阻塞主流程
2. 逐步修复 strict 错误，按文件或目录分批进行
3. 使用 ignoreDeprecations 争取时间，但要有明确的消除计划
4. 尝鲜 @typescript/native-preview，提前评估 7.0 的兼容性

7.1 时间线#

7.2 对 TypeScript 7.0 的展望#

TypeScript 7.0 将是一次彻底的编译器重写——不是增量改进，而是用 Go 语言重新构建整个编译管线：

• 共享内存多线程：充分利用多核 CPU，而非 Worker 线程通信
• 原生代码性能：远离 JS GC，获得确定性的内存管理
• 10 倍编译速度：大型项目的编译时间将从分钟级降至秒级
• 极低 LSP 延迟：代码补全、错误提示、重构——一切都将更快

7.3 生态影响#

TypeScript 的 Go 重写不仅仅是一次性能升级，更标志着 JavaScript 工具链的系统编程语言化趋势：

1
工具链演进趋势：
2
JavaScript → TypeScript（自举）→ Go/Rust/Zig（系统语言）
3

4
已完成 / 进行中：
5
✅ esbuild（Go）    — 极速打包器
6
✅ Rolldown（Rust） — Vite 8 底层
7
✅ Oxc（Rust）      — 高性能解析器
8
✅ Turbopack（Rust）— Next.js 打包
9
🔄 TypeScript（Go） — 编译器 7.0

这一趋势意味着，前端工程化正在从 “够用即可” 转向 “原生性能”，开发者体验将迎来质的飞跃。