📦 版本动态
官方稳定版状态与 7.1 Beta 预览里程碑
当前官方最新稳定版本为 TypeScript 7.0.2（发布于 2026 年 8 月 20 日，tag v7.0.2），配套 VS Code 插件 vscode-typescript/v1.0.1 于 9 月 30 日完成分发。有关 7.0 原生架构演进的历史评测可参考：TypeScript 7.0 详解。
10 月 20 日，官方发布了重要里程碑版本 TypeScript 7.1 Beta（tag v7.1-beta，通过 npm install -D typescript@beta 体验）。本期版本聚焦于工程化接口开放与编译器性能压榨，最核心的变化与工程影响归纳如下：
| 演进维度 | 机制设计与变更详情 | 工程实际影响 |
|---|---|---|
| 模块化 Programmatic API | 废弃单体导出，拆解为 typescript/sync、typescript/async、typescript/fs 与 typescript/ast 六大入口；引入 Disposable 与 using 声明管理跨语言内存；建立基于 Snapshot（快照）与分层虚拟文件系统的增量状态模型。 | 终结了 7.0 重写为 Go 后外部工具链无法编程式调用检查器的断层，为 typescript-eslint、打包器和自动化分析流水线提供原生宿主接口。 |
| 首级单文件扩展点 Content Mappers | tsconfig.json 提供 contentMappers 字段，配合 --runExternalCode 启动外部进程；将非 TS 文件按区域映射为虚拟 AST 并回传跨距位置。 | 替代 Volar 过去的猴子补丁机制，使 .vue、.svelte、.astro 及 MDX 能够直接通过官方 tsc 完成全量类型检查。 |
| 导入属性限定与源码导入 | 允许环境声明根据 with 属性分流类型（如 declare module "*" with { type: "css" }）；支持 ECMAScript 提案 import source；补齐 --target es2026（含 Uint8Array Base64、Iterator.zip 与 Promise.allKeyed）。 | 杜绝缺失导入属性时的静默运行故障；为 WebAssembly 模块预解析提供抽象来源对象类型 AbstractModuleSource。 |
| 检查器深层内存压缩 | 预分配符号表、内联哈希缓冲区、Typed-Arena 边界定额管理（PR #64802）、冷热类型形状分离存储（PR #64800）。 | 4 线程检查下，大型代码库堆内存缩减 15.8% 至 49.6%，彻底消除复杂联合类型派生时的分配暴涨。 |
官方公布的基准测试数据显示，在开启 4 线程检查器且指定 --noEmit 条件下，TypeScript 7.1 Beta 较 7.0 展现了显著的耗时与内存降幅：
| 基准代码库 | TS 7.0 耗时 | TS 7.1 Beta 耗时 | 耗时缩减 | TS 7.0 堆内存 | TS 7.1 Beta 堆内存 | 内存缩减 |
|---|---|---|---|---|---|---|
| mui-docs | 22.2s | 11.9s | 46.6% | 8,093 MiB | 4,079 MiB | 49.6% |
| vscode | 21.6s | 17.7s | 17.7% | 8,387 MiB | 6,943 MiB | 17.2% |
| sentry | 19.6s | 15.1s | 22.8% | 6,587 MiB | 5,216 MiB | 20.8% |
| t3code-server | 26.5s | 19.1s | 28.2% | 6,894 MiB | 5,197 MiB | 24.6% |
| bluesky | 4.48s | 3.89s | 13.2% | 2,017 MiB | 1,698 MiB | 15.8% |
📝 深度条目
Cloudflare 联手 VoidZero 启动 TypeScript 纯 Rust 移植项目 tsrs
发生了什么：
10 月 20 日，Cloudflare 与 VoidZero 宣布联合推进 TypeScript 的 Rust 移植项目 tsrs，孵化于 Oxc 并吸纳 tsc-rs。官方基准测试表明，相同线程下 tsrs 相比 7.0 提速最高达 8 倍，堆内存降低约 70%。团队通过 AI 自动化流水线每日同步微软提交并运行官方测试套件。
为什么重要： Go 编译至 WebAssembly 需携带 GC 运行时，在浏览器沙箱与边缘 Worker 存在内存开销。Rust 依托零运行时优势，支持将检查器轻量化嵌入边缘节点与浏览器端，为 Oxlint 类型感知 Lint 提供了低内存基建。
对谁有影响： Web IDE 研发团队、边缘计算开发者，以及关注 Oxlint/Biome 类型感知检查的工程师。
链接：Cloudflare 官方博客，GitHub tsrs 仓库
笔者点评：
tsrs 的内存紧凑布局成果已反向合入 7.1 Beta 主干。目前该版本诊断信息输出顺序与官方仍有细微差异，多包工程增量缓存的稳定性仍需后续检验。
TypeSQL 借助 Content Mappers 实现类型推导提速 20 倍
发生了什么：
10 月 23 日，Postgres 纯类型解析库 TypeSQL 作者公布实测数据。利用 7.1 Beta 的 Content Mappers 接口，TypeSQL 将 SQL 语法分析缓存写入 .typesqlcache 文件。在 500 个查询的应用中，类型检查耗时由 2.6 秒降至 0.13 秒（下降 95%），类型实例化减少 97%（460 万次降至 12.3 万次），提速 20 倍。
为什么重要： 编译器以往仅在单次 Program 内存中记忆类型，跨进程即失效，且类型系统无法写入磁盘。Content Mappers 允许第三方库在编译链路中注册独立进程并动态注入虚拟类型声明，突破了类型层无持久化缓存的限制。
对谁有影响： 依赖模板字面量与条件类型构建复杂 DSL 的类型库作者（如 SQL、GraphQL 解析器），以及受困于检查耗时的全栈团队。
链接：İsmail Karsli 技术博客，GitHub TypeSQL 仓库
笔者点评：
该方案需为 tsc 显式开启 --runExternalCode 命令行参数。一旦 mapper 外部缓存生成逻辑存在疏漏，可能导致类型检查给出虚假的通过结果，增加了安全审计边界。
TypeScript 7.1 修复分发条件类型健全性漏洞，实施严格子类型隔离
发生了什么：
TypeScript 7.1 Beta 合入 PR #64237，修复了追踪长达数年的条件类型健全性遗留缺陷（Issue #63708）。以往计算分发条件类型时，编译器未区分原始形参和分发分支内部细化后的具体成员，导致形如 type Issue<A extends number, B extends A> = A extends B ? never : Show<A, B> 传入联合类型 0 | 1 时错误生成非法字面量 "0 extends 1"。7.1 禁止在分支内对细化参数进行不安全复用。
为什么重要： 分发机制是复杂类型体操的基石。此前推导盲区使得不合规类型被静默放行，导致业务代码在编译期漏报类型穿透缺陷。强化检查从数学层面保障了条件展开与子类型约束的一致性。
对谁有影响：
维护通用类型库（如 type-fest、zod）的核心作者，以及编写高阶泛型组件的前端架构师。
链接：TypeScript PR #64237，TypeScript Issue #63708
笔者点评： 此项属于破坏性变更（Breaking Change）。已有依赖历史宽松规则的类型库在 7.1 Beta 下触发编译报错，迁移时需手动去除多余泛型继承，或追加中间层条件提取。
ts-polyglot 亮相：基于 Content Mappers 实现 C/C++/Rust 源码直接导入
发生了什么：
10 月 23 日，开源项目 ts-polyglot 发布。该工具利用 TypeScript 7.1 Beta 的 Content Mappers 接口，允许开发者在 TypeScript 中直接 import 导入 .c、.cpp 或 .rs 源码文件，由后台自动提取函数签名生成强类型声明，无需手写 FFI 样板代码即可调用原生函数。
为什么重要：
传统跨语言互操作需手写 N-API 或 wasm-bindgen 胶水代码，维护繁琐。ts-polyglot 依托编译器原生的虚拟源码映射与后端编译调度，实现了在编辑器中直接对 C/Rust 函数提供类型悬浮提示与断点调试支持。
对谁有影响： 需要混合调用 C/Rust 算法的前端团队、音视频开发者，以及探索跨语言工具链的工程师。
链接：ts-polyglot 官方页面，Hacker News 讨论条目
笔者点评： 当前仅打通数值与布尔值等基本标量类型，复杂指针与动态内存管理仍处实验期。其架构验证了 7.1 扩展点能将多语言协同编译整合进标准前端链路。
🔥 社区热议
Cloudflare 与 VoidZero 推出 tsrs：Rust 移植版引发编译器终局路线论战
10 月 20 日，Cloudflare 与 VoidZero 官宣纯 Rust 编译器 tsrs，登上 Hacker News 榜首（432 Points，213 条评论）。
- 边缘与 Wasm 优先派：以边缘平台与现代工具链工程师为主。他们指出微软选择 Go 虽让本地 CLI 提速，但编译至 Wasm 捆绑了数兆字节的 GC 运行时，在浏览器和轻量 Worker 中内存偏高。Rust 具备天然 Wasm 亲和力与确定性内存释放，支持在轻量沙箱中运行完整类型检查器，是完善前端原生工具链的关键拼图。
- 生态碎片化担忧派：持怀疑态度的企业架构师指出，社区已出现微软官方 Go 版、Bun 检查器、Theo Browne 的
tsc-rs、Vercel 的tsc-ts以及tsrs。规范完全由官方代码定义，非官方移植版极易在边缘推导中产生细微差异；依赖 AI 每日同步上游补丁，长期跟踪维护数十万行测试用例的人力成本依然沉重。
链接：HN 讨论串 #50165953，Cloudflare 技术博文
Rune 1.3 终端环境集成 TypeScript：TUI 工具链的边界与膨胀之争
10 月 23 日，全功能终端环境 Rune 发布 1.3 版本，内置 TypeScript 支持、Helix 编辑核心与 Kitty 图形协议（Hacker News 63 Points，26 条评论）。
- 一体化终端拥护派：支持者认为开发者在远程 SSH、云端开发机和无桌面容器中工作频繁。Rune 1.3 将代码编辑、终端模拟、图形协议与原生类型检查整合在单个紧凑 TUI 二进制中，免去了复杂工具链配置，提供了即开即用的远程工作流。
- Unix 极简哲学派：反对者认为该项目偏离了每个工具只专注做好一件事的准则。终端模拟器应保持精巧与低延迟响应，强行塞入重型语言服务器和编辑器核心，不仅带来体积膨胀与潜在内存泄漏，其诊断交互体验也难以与成熟的独立 LSP 工具相提并论。
链接：HN 讨论串 #50214325，Rune 1.3 发布公告
🔭 下周关注
- TypeScript 7.1 RC 预发布窗口推进：追踪官方团队在收到 Beta 反馈后，针对 Content Mappers 的
--runExternalCode权限控制机制与 VS Codejs/ts.contentMappers.enabled隔离策略的细化，以及各大框架适配包的发布节奏； - tsrs 与 tsc-rs 合并及 7.1 API 兼容适配：持续观察 Oxc 团队与 Theo Browne 整合 Rust 编译器核心的进展，重点关注其在无 GC 架构下对 TypeScript 7.1 分层快照与 AST 访问器接口的兼容适配状态。
