为什么 AI 正在推动开发者转向强类型语言

Source: GitHub Blog

请提供您希望翻译的具体文本内容，我将按照要求保留来源链接并进行简体中文翻译。

Typed vs. untyped

像 Python 和 JavaScript 这样的动态语言在构建时能够让你快速行动，倡导这些语言的开发者也会强调它们提供的速度和灵活性。但这种敏捷性缺少了使用类型化语言时所拥有的安全网。

未类型化的代码并未消失，仍然可以写得很好。我个人就很喜欢在普通的副项目中可以随意写代码，而不必为每个细节都定义类型。但是，当你无法控制每一行代码时，细微的错误可能会悄然出现而未被检查。这时，基于类型的安全网概念就显得格外有吸引力，甚至是必需的。AI 只会增加“你没有亲自编写的代码”的数量，从而提升风险。

类型系统在揭示模糊逻辑和预期输入输出不匹配方面扮演着独特的角色。它们确保来自任何来源的代码都能符合项目标准。类型系统基本上已经成为开发者、框架以及生成越来越多脚手架和样板代码的 AI 工具之间的共享契约。

随着 AI 工具和代理产生的代码和功能量前所未有地增多，可靠性变得更加关键。而这正是类型化语言在争论中占上风的地方。并不是说未类型化语言“坏”，而是类型能够捕捉到 AI 生成代码可能引入的那类意外。

类型安全真的这么重要吗？

是的！

下一个问题。

但实际上，2025 年的一项学术研究发现，高达 94% 的 LLM 生成的编译错误是类型检查失败。想象一下，如果 94% 的错误消失，你的项目会提升多少！你的生活会更好，皮肤会变得更清爽，甚至可能更高。或者至少，你会少一些“为什么现在返回的是字符串？”的调试会话。

Octoverse 2025 对强类型语言崛起的看法

Octoverse 2025 已经证实：截至 2025 年 8 月，TypeScript 成为 GitHub 上使用最广的语言，超越了 Python 和 JavaScript。2025 年 TypeScript 的贡献者增加了超过 100 万人（同比增长 66%，2025 年 8 月对比 2024 年 8 月），总开发者人数估计达到 260 万。这在一定程度上得益于默认使用 TypeScript 脚手架的框架（如 Astro、Next.js 和 Angular）。报告还发现，TypeScript 的崛起与 AI 辅助开发之间存在相关性证据。

这意味着 AI 不仅影响代码编写的速度，还影响开发者选择的语言和工具。强类型生态系统也受益，因为它们帮助 AI 在不破坏既有假设的前提下，将新代码插入到现有项目中。

不止是 TypeScript，其他强类型语言也在快速增长！

• Luau（Roblox 的脚本语言）作为一种 渐进式类型 语言，年增长率超过 194%。
• Typst（常被拿来与 LaTeX 对比，但采用函数式设计并具备强类型）年增长率超过 108%。
• 甚至像 Java、C++、C# 这样的老牌语言，在本年度报告中也表现出有史以来最高的增长。

这说明渐进式类型、可选类型和强类型都在获得动能——每种类型根据你构建的项目以及希望 AI 自动化的程度，提供不同层次的安全护栏。

我们接下来该怎么办？

类型系统并不会取代动态语言。但它们已经成为开发者在使用和配合 AI 编码工具时的常见安全特性，这并非偶然。随着 AI 辅助开发和代理开发的流行度提升，我们可以预期类型系统将在我们构建和交付可靠软件的过程中变得更加核心。

静态类型有助于确保代码更可靠、更易维护。它们为开发者提供了共享的、可预测的结构。这种意外情况的减少意味着你可以保持流畅的工作状态（双关语意在此！）。