Zig 创始人怒斥 Bun 弃 Zig 转 Rust：一场关于工程信仰与 AI 代工的公开决裂

一场没有硝烟却火药味十足的技术决裂 几天前，编程语言 Zig 的创始人 Andrew Kelley 发表了一篇措辞尖锐、毫无保留的公开反思。他没有选择沉默，也没有委婉表态，而是直指 Bun 创始人 Jarred Sumner 的工程实践、团队管理与技术判断——这场由「重写」引发的冲突，早已超出技术选型范畴，成为 AI 时代下开源精神、代码质量与开发伦理的一次集中拷问。 从信任到割席：Bun 曾是 Zig 最耀眼的生态标杆 Bun 是一个高性能 JavaScript/TypeScript 运行时，目标明确：取代 Node.js。它曾以惊人的启动速度、极速依赖安装和轻量测试框架广受关注。而支撑这一切的底层语言，正是 Zig——一种强调显式控制、零抽象开销、无运行时垃圾回收的现代系统语言。Bun 不仅用 Zig 编写，更长期资助 Zig 项目，是其最重量级的采用者与推广者。Zig 社区一度将 Bun 视为语言落地的典范，甚至将其作为教学案例与性能基准。 转向的真正动因：不是性能，而是失控的稳定性 2024 年初，Bun 被 Anthropic 收购，随后深度集成进 Claude Code 与 Agent SDK。在高并发、长时间运行的 AI 编程场景中，Zig 版 Bun 暴露出一系列难以收敛的内存安全问题：use-after-free、double-free、资源泄漏……这些问题并非偶发，而是高频出现在复杂路径中。Zig 的设计哲学是「信任程序员」，内存安全依赖开发者自觉；而 Rust 的编译器会在编译期拦截绝大多数同类错误。当 Bug 不再是个别疏忽，而成为系统性风险时，架构层面的约束力差异便无法忽视。 AI 加速下的激进重构：11 天，百万行，零人工审查 今年 5 月，Bun 团队宣布完成 Rust 重写。整个过程仅用 11 天，核心工具链来自 Anthropic 内部尚未公开的 Claude Fable 5（Mythos 级模型）与 Claude Code 的动态工作流能力。官方称，新代码库约 100 万行，全部由 AI 生成，并通过已有测试用例验证。值得注意的是，这些测试本身源于 Zig 版 Bun——它们曾未能捕获大量内存缺陷，如今却被用于确认 Rust 版本的「功能等价性」。 Andrew Kelley 的质问：不是语言之争，而是工程底线之问 Kelley 并未否认 Rust 在内存安全上的优势，但他将矛头指向更深层的问题：为什么同样一套测试，在 Zig 版本中失效，却能在 Rust 版本中「突然可靠」？他指出，Bun 的代码库长期存在结构性混乱——补丁堆叠、断言滥用、技术债积压、关键路径缺乏审查。AI 并未修复这些病灶，只是将旧逻辑「翻译」进新语言。更值得警惕的是，新代码中仍残留 2.7 万行 unsafe 块，意味着那些曾导致 Zig 版本崩溃的底层风险，在 Rust 中并未消失，只是被封装进了不安全边界内。 一场茶杯里的风暴：退出，不是愤怒，而是如释重负 Kelley 明确表示，得知 Bun 弃 Zig 时，他并未感到被背叛，反而松了一口气。他担心的从来不是市场流失，而是 Zig 的声誉被绑定在一个以「快速上线」优先、以「AI 补漏」为常态的工程实践中。他害怕外界误以为：Zig = 容忍低质量代码的温床；Zig = AI 生成项目的默认底座。他写道：「我正捧着一杯茶，庆幸这终于不关我的事了。」这不是退场，而是划清界限——Zig 要守护的，是可控、可读、可验证的系统编程本质。 余波未平：效率神话背后，是新的认知负债 这场重写确实创造了效率奇迹：开发周期压缩至两周，成本约为 16.5 万美元 API 费用。但效率提升的背面，是维护成本的未知陡增。百万行 AI 生成代码缺乏架构意图表达，缺少注释脉络，变量命名机械重复，控制流嵌套深且不可推演。未来任何一次关键修复、性能调优或协议升级，都可能需要先「反向破译」AI 的逻辑痕迹。所谓节省的时间，或将转化为数倍于前的人力审阅与重构成本。 没有赢家，只有分岔路口 这不是 Zig 与 Rust 的胜负对决，也不是 AI 是否该写代码的价值辩论。它是一面镜子：照见当工程节奏被资本与模型双重加速时，我们是否还保有对代码尊严的基本敬畏；也照见当「能跑」替代「可治」成为首要标准时，开源项目正在悄然让渡的长期生命力。Bun 已奔向新大陆，Zig 选择固守山门——而站在岸边观望的，是我们每一个人。