当 Anders Hejlsberg 在 2012 年开始着手 TypeScript 时，他并不是在构想一个要与 JavaScript 竞争的新语言。 他试图解决一个非常现实的问题：JavaScript 已经成为整个 Web 的基石，但它并不适合大型、多开发者协作的代码库。团队们正在交付数百万行弱类型代码，而当系统复杂到难以推理时，这门语言几乎提供不了任何帮助。
这项起初的务实修补最终重塑了现代开发。 在 2025 年，TypeScript 成为 GitHub 上使用量最高的语言，首次超过了 JavaScript 与 Python。仅今年，就有超过一百万名开发者以 TypeScript 参与贡献------这是 Octoverse 统计的 66% 的增长。
他说："我记得当时心里想，也许我们能让 25% 的 JavaScript 社区产生兴趣------那就算成功了。但看到现在的情况？我完全惊呆了。"
在 2025 年，TypeScript 成为 GitHub 上使用量最多的语言，首次超过 JavaScript 和 Python。 根据今年的 Octoverse 报告，仅今年就有超过一百万名开发者开始用 TypeScript 贡献代码（同比增长 66%）。
那么，一个 JavaScript 的类型化超集是如何成为 AI 时代的主导语言的？我们与 Anders 坐下来，聊了演化、性能，以及为什么一门为更好的人类协作而设计的语言，如今正在为机器辅助编码提供动力。
"我们原以为 25% 的采用率就算成功。"
"项目刚启动时，"Anders 说，"我估计如果我们能让 25% 的 JavaScript 社区表现出兴趣，那就赢了。但现在，看着每天有这么多人依赖它......我和整个团队都惊呆了。"
回到 2012 年，JavaScript 已经根深蒂固。TypeScript 的赌注不是取代它，而是通过添加类型、工具链和可重构性，让大规模 JavaScript 开发变得"可理性"。
"做一件你知道真的能带来改变的事，是一种喜悦。我们没打算无处不在。我们只是想让开发者能更有信心地构建大型系统。" ------TypeScript 创作者 Anders Hejlsberg
十年后，这个赌注成为默认。几乎所有现代前端框架------React、Next.js、Angular、SvelteKit------都默认提供 TypeScript 脚手架。结果是：更安全的代码库、更好的自动补全、更少凌晨 3 点因为一个 undefined 而调试崩溃。
"Anders 说："魔力就在于让 TypeScript 感觉像 JavaScript，但拥有超能力。"
⚙️ TypeScript 到底是什么？
TypeScript 是一个开源的、带类型标注的 JavaScript 超集，它会编译成普通 JavaScript。它添加静态类型检查、接口、泛型和现代语言特性------并在编译时把它们抹去，使输出能在任何 JavaScript 能运行的地方运行。
开发者使用它的理由：
- 在运行前捕获类型错误
- 提升 IDE 自动补全与重构能力
- 让大型代码库在团队协作下仍可维护
- 与框架和 AI 辅助工具无缝集成
它用于：前端框架（React, Angular, Vue）、后端系统（Node.js, Deno）、SDK、设计系统，以及越来越多需要强类型来确保生成代码安全的 AI 代理框架。
为未来重写编译器
TypeScript 发布时著名的"自托管"特性：用 TypeScript 自己编写。这让编译器便携、可修改。但性能最终成为问题。
"Anders 说："放弃自托管让我们很痛苦，但我们知道性能已经挤不出更多了。"
我们尝试了 C#、其他语言，最后选择 Go。性能提升达到了 10 倍。一半来自原生速度，一半来自共享内存并发。这种 10 倍提升是不能忽视的。
重写带来了一个更快、更轻、更适合企业规模代码库的编译器------但功能上与旧版本完全一致。
Anders 谈到："我们现在有一个原生编译器，从怪癖到行为都与旧的完全一致。社区不需要丢掉任何东西。"
这种在提升性能的同时保留行为一致性的理念，是开发者信任 TypeScript 的原因之一。它不是每隔几年来一次"从零开始"的重写，而是一个保持兼容、不断演化的系统。
"开源是被捕捉在代码里的演化。"
Anders 把开源看作一种类似自然选择的生态系统。
"Anders 说："开源本来是个巨大的实验。没人真正搞清楚如何为它提供资金------但我们现在看到，它比以往更大，也不会消失。那就是被捕捉在代码里的演化。"
今年的 Octoverse 数据验证了这一点：开发者在 2025 年提交了近 10 亿次提交（同比 +25%），其中 11.2 亿次提交到公共和开源仓库。这是用一次次 PR 写下的"演化记录"。
拥有 12 年 issues、PR 与设计文档的 TypeScript 仓库，本身已经成为语言演化的活档案。"我们有 12 年的历史被记录在 GitHub 上，"Anders 说。"所有内容都可搜索。那就是你能 grep 的演化。"
AI 效应：为什么 TypeScript 在现在的时代更强盛？
Octoverse 2025 最突出的数据之一显示 AI 正在改变语言偏好。开发者正转向能让 AI 辅助编码更可靠、更可维护的类型语言。
Anders 解释道：
"AI 在一门语言上写代码的能力，与它见过的该语言数量成正比。它是一个巨大的复述器，带些外推。AI 看过大量的 JavaScript、Python 和 TypeScript，所以它在写这些语言时特别强。新语言反而处于劣势。"
这种数据优势，加上 TypeScript 的静态类型系统，使其非常契合 AI 优先的工作流。
"Anders 说："如果你让 AI 翻译 50 万行代码，它可能会产生幻觉。但如果你让它生成一个程序，以确定性方式完成同样的翻译，你就能得到可靠结果。这就是类型系统被设计出来要解决的问题。"
结论：在一个代码由人类和机器共同编写的世界里，类型不是官僚主义，而是真相校验器。
从 IDE 到 Agent
大型语言模型的兴起也在改变"开发工具"的定义。IDE 正在从为人类服务，变成同时为 agents 服务的环境。
"AI 一开始是助手。现在它在做工作，而你在监督。它不需要我们那种 IDE。它需要的是各种服务。这就是 Model Context Protocol 令人兴奋的地方。"
Octoverse 报告描述这种变化："AI 不只是重塑代码，而是在重塑选择。"
像 TypeScript 这样的类型语言，为 agents 提供了安全重构、语义查询和对代码库进行确定性推理的结构化基础。
"Anders 补充说："目标是为 AI 工作流设定恰到好处的确定性，让它们保持有用而不至于脱轨。"
这门持续演化的语言
从 Turbo Pascal 到 C#，再到 TypeScript，Anders 的工作跨越数十年。但令人惊讶的是，他始终保持一致：构建能让复杂软件更易理解的语言。
"没有什么比做一件确实能带来改变的事情更令人满足的了。TypeScript 不断变化，但始终围绕同一件事：帮助开发者清晰表达意图。"
这种清晰，或许正是为什么 2025 年平均每秒就有至少一个新开发者加入 GitHub，而其中越来越多人选择从 TypeScript 开始。
TypeScript 的故事不仅仅是语言设计的故事；
它是演化的故事------一个起初为修补 JavaScript 扩展性而生的项目，如今成为开发者与 AI 共同写代码的基础。