8 篇博文 含有标签「软件工程」

2025 年 3 月 11 日，Anders Hejlsberg 发表了一篇题为 A 10x Faster TypeScript 的公告：微软要把 TypeScript 编译器移植到 Go。

对大多数读者来说，这只是一条关于性能的新闻。对我来说，这条新闻却把我五年前写的三篇旧文串到了一起。2021 年，我在短短几个月里先后写过三篇彼此不相干的文章：一篇问 大红大紫的 Golang 真的是后端开发中的万能药吗，一篇论证 为什么 TypeScript 是开发大型前端项目的必备语言，还有一篇夸 C# 的开发体验——那篇文章里我顺带提过一句当时看来只算趣闻的事实：TypeScript 和 C# 出自同一人之手。五年后，三篇文章的主角在同一个仓库里会师：我称为"必备"的那门语言的编译器，用我当年审视过的那门语言重写，主导者正是 TS 与 C# 共同的创造者。我知道这几篇文章之间有联系，但没想到它们会以这种方式交汇。

这场会师的价值不止于怀旧，它暴露了这场争论底下悄悄发生的变化。2021 年，咱们争的是哪种语言对"人"更友好：谁的语法更干净，谁的学习曲线更平缓，谁的类型系统更不烦人。这场争论至今没有结束，但裁判换了。从那之后，AI 编程智能体（coding agent）成了生产代码最高频的作者之一，也是代码的第一读者。agent 不在乎 Go 的错误处理有多啰嗦，也不嫌 TypeScript 的类型标注有多累赘。它只关心两件事：一是 多快拿到反馈，二是 反馈能不能被信任。

这个观察就是本文的核心论点，我刻意用最保守的说法来陈述它：当 agent 加入你代码库的作者行列，技术选型会多出两个必须优先考虑的判据——agent 的反馈周期（一次"修改代码 → 获得可信反馈"要多久）和 验证信号密度（每一轮循环中，有多少对错能由机器直接裁决，不需要人）。这两个判据不会取代以人为本的旧判据，但会给它们重新排序。而在新的排序之下，2021 年那场语言之争的判决，有的被坐实，有的被推翻。

为了把话说周全，接下来我会先做一轮站内考古，看看 2021 年我们究竟在争什么；然后给两个新判据下精确定义；再检视 2025 到 2026 年的三组证据；随后让最强的反方论证单独占一节；最后给出一个小小的选型框架——你完全可以不同意它，但至少能清楚分歧出在哪里。

2026 年的每一场 AI 发布会都是同样三张幻灯片开场：更大的模型、更快的芯片、更聪明的 Agent。真正缺失的是第四张——这些东西到底怎么送到用户面前。而这张缺失的幻灯片，恰好就是接下来十年价值最集中的地方。它不会靠又一轮模型微调产生，而会靠我们这个技术栈里最不性感的那一层：基础设施（Infrastructure，俗称 Infra）。

数据也支持这个判断。麻省理工学院（MIT）2025 年《State of AI in Business》报告显示，95% 的生成式 AI 试点无法进入生产。Gartner 的调研表明，只有 15% 的 IT 应用负责人在试点完全自主的 Agent，而整个 Agent 市场预计从 2025 年的 78 亿美元扩张到 2030 年的 526 亿美元。瓶颈不在智能。前沿模型 在 SWE-bench Verified 上已经聚集在 70–75% 区间。真正的瓶颈是从"一个能写代码的模型"到"一个能交付产品的组织"之间的所有环节——而这些环节，说到底都是 Infra。

把"暴论"说得直白一点：编程变得廉价，Infra 却在变得稀缺。AI 叙事习惯把 DevOps、CI/CD、容器、Kubernetes、云架构这些东西当作"已经解决的水管问题"，但它们即将成为把 AI 能力变成可交付产品的头号杠杆。理由很朴素：Agent 现在能写代码，但它自己跑不起一次构建，也扛不下一次部署，更没法独自决定一次回滚、开通一个区域。它需要一个底座替它做这些事——而这个底座，正是过去二十年 DevOps 攒下来的、经过无数次故障检验的、几乎零成本的遗产。

六大协议。六个自动化级别。十七款工具。十二项预测。一张交互式全景图将它们串联起来。

AI Agent 交互全景图是我构建的一个开源双语单页应用，旨在厘清 2026 年 AI Agent 如何与开发者、编辑器、工具以及彼此之间进行交互。本文将梳理其中引入的关键框架——以及构建过程中涌现的洞察。

SWE-bench 评分在短短 14 个月内提升了 50%——从 2024 年 10 月 Claude 3.5 Sonnet 的 49% 跃升至 2026 年 1 月 Claude 4.5 Opus 的 74.4%——你可能会认为 AI 智能体（AI Agents）已经征服了软件工程领域。然而，大规模部署这些智能体的企业却讲述着不同的故事。Triple Whale 的 CEO 描述了他们的生产环境实践："GPT-5.2 为我们解锁了一次彻底的架构转型。我们将一个脆弱的多智能体系统简化为单个配备 20 多种工具的超级智能体……这个超级智能体更快、更智能， 维护难度降低了 100 倍 。"

引言：从理论走向实践​

在本系列的第一部分中，我们打下了计算限制的概念基础：基本限制与工程限制的区别、四层计算层次结构、形式化复杂性测量，以及智力-可计算性悖论。我们探讨了为何一些看似简单的问题（如停机问题）在数学上无解，而看似需要复杂智力的问题（如机器翻译）却是可判定的。

第二部分，我们从抽象理论走向实际应用。 本文探讨这些基本限制如何体现在日常工程决策中，考察历史如何揭示：理解约束反而能释放创新，并将计算限制与关于逻辑、数学和意识的深刻哲学问题联系起来。最后，我们会提供一个实用框架，帮你立即分类问题并做出更好的工程决策。

引言：代码的宇宙速度限制​

1905年，阿尔伯特·爱因斯坦（Albert Einstein）证明了一个革命性的结论：没有任何东西能够超越光速。这不是更好的技术可以克服的工程限制，而是时空本身的基本属性，编码在现实的结构中。三十年后的1936年，艾伦·图灵（Alan Turing）为计算证明了一个同样深刻的结果：没有任何算法能够确定一个任意程序是否会停机（称为停机问题（Halting Problem））。与爱因斯坦的光速屏障一样，这不是当前计算机或编程语言的限制。这是一个数学确定性，无论我们的机器变得多么强大，或者我们的算法变得多么聪明，它都将永远为真。

现代软件工程在这些基本限制的阴影下运作，尽管大多数工程师将它们体验为令人沮丧的工具限制，而不是数学确定性。你可能经历过这样的情况：静态分析工具错过了明显的错误，测试框架尽管有100%的覆盖率却无法保证正确性，AI助手生成的代码需要仔细的人工审查。当营销材料承诺"完整的自动化验证"或"有保证的错误检测"时，你可能会感觉有些不对劲——这些声明听起来太好了，不像是真的。

确实如此。你遇到的限制不是等待更好工具的临时工程挑战，而是基本数学不可能性的表现，就像光速或绝对零度一样不可改变。 理解这些限制从约束转变为竞争优势：知道什么是不可能的，可以让你将精力集中在可实现的事情上，就像物理学家利用相对论实现了GPS卫星和粒子物理学，而不是浪费资源试图超越光速。

如果你是一名开发人员，曾经想知道为什么尽管经过数十年的工具开发，某些问题仍然存在，或者如果你是一名技术领导者，正在评估关于革命性测试或验证技术的声明，这篇文章提供了关键的背景。理解计算限制不是失败主义，而是工程成熟的基础。 最好的工程师不会忽视这些边界；他们深入理解这些边界，并在其中出色地工作。

这段旅程探讨了计算限制如何反映物理定律，为什么"困难"问题与"不可能"问题有根本性的不同，以及这些知识如何赋能更好的工程决策。我们将从舒适的物理类比穿越到抽象的计算理论，然后回到你明天就可以应用的实用框架。在这个过程中，你会发现为什么了解游戏规则会让你在游戏中更有效，以及为什么计算历史上的每一次突破性创新都不是通过忽视限制，而是通过深入理解限制而出现的。

引言：复杂功能开发的挑战​

每个开发者都知道那种盯着复杂需求而不知从何开始的感觉。现代软件开发越来越多地涉及构建整合多个服务、处理不同数据格式、协调各种 API 的系统。在初始规格中看似简单的东西，往往会演变成复杂的相互依赖组件网络，每个组件都有自己的约束和边界条件。

这种复杂性在几个常见的开发挑战中显现出来，无论团队的经验水平或技术栈如何，都会面临这些挑战。项目经常因为需求在实现过程中的演变而遭受范围蔓延。开发者花费大量时间向 AI 助手或团队成员解释上下文，经常重复相同的架构约束。技术债务在开发者因压力做出仓促决定时累积，导致系统变得越来越难以维护和扩展。

引子​

复杂度是软件工程中永恒的挑战。随着项目规模的增长，复杂度会以指数级的速度增加，如果不加以控制，最终会导致项目的失败。

在软件开发的世界里，复杂度无处不在。从简单的"Hello World"程序到大型分布式系统，复杂度始终伴随着我们的开发过程。作为软件架构师和技术负责人，理解复杂度的本质、来源以及如何管理复杂度，是我们必须掌握的核心技能。