正在加载，请稍候
Vercel Labs 发布实验性 AI 编程语言 Zero：编译器输出写给 AI 智能体，稳定错误码、World 能力参数、图优先存储如何改变企业交付的编码、评审、CI、重构与 onboarding 五个环节。
2026 年 8 月 12 日，InfoQ 报道了 Vercel Labs 发布的实验性系统编程语言 Zero。它不是又一个 AI 编码助手，而是把「编译器输出的主要读者是 AI 智能体」写进设计前提。对还在用传统代码评审、人工重构、师傅带徒弟式 onboarding 的交付团队来说，至少 5 个环节要重新排。
这门语言由 Vercel 的 Chris Tate 于 2026 年 5 月 15 日发布，定位是「速度更快、体积更小，而且更便于智能体使用和修复」的系统语言。它使用 .0 文件扩展名，采用 Apache 2.0 许可证，可编译为 Linux、macOS、Windows 原生二进制。早期报道里一个 Hello World 可在 1 毫秒内构建完成，产物仅 16.2 KiB；截至 8 月已迭代到 v0.3.4，GitHub Star 超过 5200。
真正值得企业关注的是它的工具链契约。单一二进制的每个子命令都支持统一的 --json 标志和同一套诊断模式，错误携带 NAM003 这类稳定代码，以及 declare-missing-symbol 这种带类型的修复元数据；fix --plan --json 会返回一份机器可读的修复计划，智能体可以接受、编辑或拒绝，而不是盲目应用。这等于把「报错—修错」循环做成了稳定协议。
副作用也被显式化。任何与外部世界交互的函数都必须接受一个 World 能力参数，由编译器强制执行。只看函数签名，就能判断代码能否访问网络、文件系统或标准输出——这对要长期托管给智能体运行的代码，价值远大于对人。
更大的转变出现在 v0.3.0：图优先创作成为常规工作流。graph 二进制存储是编译器的输入，.0 文件只是供人类阅读的投影，智能体通过 query 和 patch 命令工作。补丁受图哈希保护，过期或无效的编辑会在写入存储之前失败。
传统编译器的每个设计都在迁就人眼：报错要可读、格式要一致、warning 要少。Hacker News 上有人反驳说「结构化错误消息已经存在几十年了」，一条回复点破了关键：重点是智能体，不是开发者。
它把「人类可读」降级为投影，把「机器可读」提升为一等公民。这改变了评估一门语言的标准——过去问好不好读、生态够不够，现在要问工具链输出是不是稳定协议、智能体能不能无歧义消费。也有观点认为，智能体最擅长的语言将是预训练数据中出现最多的语言；但 Svelte 等项目的重大 API 变更表明，训练数据的重要性可能低于预期。工具链契约本身，正在成为新的护城河。
如果这类语言进入团队，下面 5 个环节的改法最直接；更系统的落地打法可以参考本站 AIcoding 专栏 里的流程改造内容。
| 环节 | 传统做法 | 语言变革之后 |
|---|---|---|
| 编码 | 人写给人看的源码 | 智能体操作图，人读 .0 投影 |
| 代码评审 | 逐行读 diff | 审智能体的修复计划与意图 |
| CI 漂移检查 | 构建 + 单测 + lint | 加 verify-projection 一致性校验 |
| 重构 | 文本替换 + 祈祷没漏改 | 图上原子变换 + 图哈希拦截失效补丁 |
| 新人 onboarding | 读源码 + 看文档 | 读投影 + query 查图，培训重心迁移 |
传统上变量命名、注释、格式化都是为人服务的；这类语言里，智能体通过 query / patch 直接操作图，源码只是投影。编码的产出物从「给人读的文本」变成「图 + 可验证的投影」，review 的对象跟着变。
评审从读 diff 变成「读投影 + 验证智能体意图」。fix --plan 返回机器可读修复计划，接受、编辑、拒绝是显式动作，评审人看的是智能体打算干什么、为什么这么干，而不是逐行对比改动。
verify-projection 把源码投影与图存储的一致性检查放进 CI。过期补丁在写入前因图哈希失败——漂移从「上线后才发现」提前到「提交时拦截」。AutoGPT 维护者的经验同样适用：AI 智能体不会主动读文档，必须用 PR 模板、测试计划、CI 覆盖率门槛这类门控机制，把智能体提交的 PR 从「不可用」变成「可用」。
图优先存储让重构从「改文本 + 祈祷没有漏改」变成「在图上做原子变换」。补丁受图哈希保护，失效编辑会被拒绝，回归风险更可控。代价是重构工具链要重写——不是换个插件的事。
传统 onboarding 靠读源码 + 文档；这类语言里，新人（无论人类还是新接手的智能体）读 .0 投影 + 用 query 查图。「读代码」技能权重下降，「验证智能体产出」的权重上升，团队培训内容要整体迁移。
它的演进并不平滑。v0.1.4 采用行语法，v0.2.0 把规范化的 .0 文本提升为原生源码载体，v0.3.0 则在编译器边界彻底拒绝源码投影输入。现有文本优先软件包必须用 import 命令把源代码导入图中，再通过 export 和 verify-projection 完成人工审查与 CI 漂移检查。v0.3.2 把大型程序的导入速度提升约 12 倍，降低了转换成本，但没有消除它。
我们评估 AI 辅助开发时，习惯把「团队重构」和「语言范式」分开看。团队重构——工作流怎么排、评审怎么改、门控怎么设——现在就能做；语言范式——换主语言、切图优先存储——要先算存量代码迁移成本。项目方也明确警告：仍处于实验阶段、预计会出现破坏性变更，应在隔离的工作区中运行，而不是用于生产系统或处理敏感数据。文本优先项目盲目切图优先，最坏的情况是编译器边界拒绝源码输入那天，才发现存量包进不来。我们在真实项目里落地过的 AI 辅助开发流程，见 交付案例。
Vercel Labs 开发的实验性系统编程语言：Apache 2.0 许可证、.0 文件扩展名、单一二进制统一 --json 工具链，设计前提是编译器输出的主要读者是 AI 智能体。2026 年 5 月发布，8 月已迭代到 v0.3.4，GitHub Star 超 5200。
按常见理解可以这么归类，更准确的说法是「为智能体设计的系统语言」：它不替你写代码，而是让智能体无歧义地消费工具链输出。稳定错误码、机器可读修复计划、World 能力参数，都是为智能体设计的接口。
官方明确警告仍处于实验阶段、预计会有破坏性变更，应在隔离工作区运行，不用于生产系统或处理敏感数据。想在生产环境落地 AI 辅助开发，建议先从团队流程层面改，不要先换语言。
不要盲目切。v0.3.0 起编译器拒绝源码投影输入，存量代码必须重新导入图存储。先评估项目规模与迁移成本；v0.3.2 的导入提速约 12 倍也只是降低转换成本，不是消除。
助手类工具在现有语言上叠加 AI；这类语言想从语言层面重建契约，让智能体成为一等用户。两者互补：短期用助手改流程，长期看语言层契约的成熟度。
如果你们团队正在评估 AI 辅助开发流程改造，想知道哪些环节可以先动、哪些要等生态成熟，可以带着现状来找我们聊聊；我们交付过的 AI 软件开发案例也在站内公开。