GitHub Octoverse 报告：AI催生“便利循环”，开发者转向TypeScript等强类型语言

GitHub近期发布的2025年Octoverse报告揭示了一个有趣的现象：AI编程助手不仅提升了代码编写速度，更悄然改变了开发者对编程语言的初始选择。

TypeScript以66%的年增长率成为了GitHub上月活跃贡献者最多的语言，拥有263.6万开发者，超越了Python和JavaScript。GitHub开发大使Andrea Griffiths将这种现象称为“便利循环（convenience loop）”：当AI让某项技术变得易用时，开发者便会涌向它；这反过来生成了更多训练数据，让AI在该技术上变得更强，从而形成正向循环。

(图片来源：GitHub博客，展示各语言排名随时间变化)

TypeScript的崛起与“便利循环”

像Next.js和Astro等默认采用TypeScript的框架起到了一定推动作用，但其与AI的深度契合有更深层的技术原因。Griffiths在其博文中分析道：

“当一个任务或流程进行得顺利时，你的大脑就会记住。便利性吸引注意力。减少阻碍变成了偏好，而大规模的偏好可以改变生态系统。在GitHub上，80%的新开发者在第一周内使用了Copilot。这些早期接触重新定义了‘简单’的基线。”

技术优势：强类型是AI的“护栏”

其技术优势显而易见。强类型语言为AI提供了明确的规则。当你在TypeScript中声明 x: string 时，AI立刻就知道要忽略所有不适用于字符串的操作。相比之下，JavaScript那种更自由的方式对AI而言则像迷宫。有研究支持这一点：2025年的一项学术研究发现，由大型语言模型（LLM）引发的编译错误中，94%源于类型检查失败。静态类型语言能在AI生成的错误代码进入生产环境前将其捕捉。

TypeScript并非孤例。GitHub的数据显示，Luau（Roblox的渐进式类型语言）年增长率达194%，Typst（一个强类型的LaTeX替代品）增长了108%。同时，目前有超过110万个公共代码库使用了LLM SDK。这已成为主流，并且集中在了与AI协作良好的技术栈上。

领导GitHub Next团队（Copilot背后团队）的Idan Gazit在访谈中解释了AI如何从根本上改变了技术选型逻辑：

“在AI技术出现之前，选择一种语言是在运行时、库生态系统和个人熟练度之间进行权衡。有了AI之后，出现了一个新的约束条件：如果我选择这种语言，模型会给我带来多少提升？”

新语言的困境与“赢家通吃”

对于语言设计者而言，“便利循环”带来了一个严峻挑战。TypeScript首席架构师Anders Hejlsberg在GitHub的采访中直言：

“AI使用一种语言编写代码的能力与其见过的该语言的代码量成正比。它是一个大型复读机，辅以一定的推理能力。AI已经看过大量的JavaScript、Python和TypeScript代码，所以它在编写这些语言的代码方面非常出色。从这个角度来说，新语言无疑处于劣势。”

新语言陷入了一个恶性循环：由于缺乏海量代码示例，AI助手无法提供有效帮助；而缺乏AI帮助，开发者就更不愿意选用它，导致其永远无法积累足够的训练数据。这是一个残酷的反馈循环，赢家已然锁定。

给技术决策者的启示

Griffiths建议技术领导者不应仅关注团队中有多少人使用了AI工具，更应关注这些工具实际产出了什么。GitHub新推出的Copilot使用指标仪表盘（企业版）可以帮助团队洞察AI助手的使用模式、关联的语言，甚至发现特定语言或模型何时开始与有缺陷的代码产生关联，从而提示团队需要优化提示词或加强代码审查。

核心结论是：AI兼容性正在悄然重塑每一个技术决策。在选择框架或语言时，它可能未被明确列入考量清单，但其影响已然存在。与AI助手协作不畅的工具正在失去市场。“便利循环”不关心个人偏好，它只会加速那些让编程变得更轻松的事物。

想了解更多关于技术趋势和开发者工具的深度讨论，欢迎来云栈社区与更多开发者交流。原文链接：https://www.infoq.com/news/2026/03/ai-reshapes-language-choice/