一门“写给 AI 读”的系统语言
Vercel Labs 发布的实验性系统编程语言 Zero，把一个过去很少被语言设计正面处理的问题推到台前：如果未来大量代码修改由 AI 智能体完成，编译器、错误信息和源码形态是否还应主要服务人类阅读？Vercel 的 Chris Tate 于 2026 年 5 月 15 日发布 Zero，并将其描述为一门“速度更快、体积更小，而且更便于智能体使用和修复”的系统语言。目前项目已推进到 v0.3.4，在 GitHub 获得超过 5200 个 Star。
Zero 使用 .0 文件扩展名，采用 Apache 2.0 许可证，可编译为 Linux、macOS 和 Windows 原生二进制文件。早期讨论集中在体积和速度：据称一个 Hello World 程序可在一毫秒内完成构建，产物大小为 16.2 KiB。不过，与其说 Zero 只是在挑战更快更小，不如说它试图重新定义“开发工具链如何被机器消费”。
工具链契约：让错误和修复可被机器处理
Zero 最鲜明的设计，是把编译器输出做成稳定、结构化的接口。单一 zero 二进制文件下的每个子命令都支持统一的 --json 标志，并使用相同诊断模式。也就是说，错误不只是给开发者看的文本，而会带有类似 NAM003 的稳定错误代码，以及 declare-missing-symbol 这类带类型的修复元数据。
更进一步，zero fix --plan --json 会返回机器可读的修复计划。智能体可以在此基础上接受、编辑或拒绝修改，而不是把修复命令当作黑箱执行。这使 Zero 的核心卖点不只是“能自动修”，而是让自动修复过程可审查、可组合、可回滚到决策层面。
Zero 还把副作用显式化。任何与外部世界交互的函数，都必须接受一个 World 能力参数，并由编译器强制执行。这里的“能力”可以理解为一种权限凭证：函数签名本身就说明它是否可能访问网络、文件系统或标准输出。对 AI 智能体来说，这种显式边界有助于在修改代码前判断影响范围；对人类维护者来说，也能减少隐藏副作用带来的审查成本。
v0.3.0 的关键转向：图优先，而非文本优先
Zero 的更大变化出现在 v0.3.0：项目将“图优先创作”设为常规工作流。现在，二进制 zero.graph 存储才是编译器输入，.0 文件则变成供人类阅读的投影。所谓投影，可以理解为从底层结构化数据生成的一种文本视图；它方便人看，但不再是编译器边界上的权威源码。
在这一模式下，智能体主要通过 zero query 和 zero patch 工作。补丁受图哈希保护，过期或无效编辑会在写入存储前失败。这相当于把“避免 AI 改错位置、改到旧版本”的问题，前移到数据模型和补丁验证层。
几个关键事实可以概括为：
- 当前版本已到 v0.3.4，项目 Star 超过 5200；
- v0.3.0 后，
zero.graph是编译器输入，.0是人类可读投影； - 所有子命令统一支持
--json，错误和修复计划可机器读取； - v0.3.2 将大型程序的
zero import速度提升约 12 倍。
迁移成本与社区质疑
这些变化也给早期用户带来不小冲击。v0.1.4 采用行语法；v0.2.0 将规范化 .0 文本提升为原生源码载体；但到 v0.3.0，编译器边界彻底拒绝源码投影输入。因此，已有文本优先软件包需要先用 zero import 导入图中，再通过 zero export 和 zero verify-projection 完成人工审查与 CI 漂移检查。CI 是持续集成流程，用于在代码变更后自动运行构建、测试或校验；这里的漂移检查，主要是确认人类可读投影没有偏离图存储。
围绕 Zero 的争议同样集中。一些 Hacker News 用户认为其创新有限，有评论称“唯一的新东西就是能力机制”，也有人指出结构化错误并不新鲜，类似错误消息已经存在多年。反方回应则强调，重点不在于人类开发者是否能读懂错误，而在于 AI 智能体能否稳定消费这些错误。
采用前景也受到质疑。有用户认为，智能体最擅长的语言往往是预训练数据中出现最多的语言；也有人以 Svelte 等项目的重大 API 变更为例，认为训练数据的重要性可能没想象中那么绝对。
仍是实验品，但方向值得关注
与成熟语言相比，Zero 在二进制体积和显式分配方面更接近 Zig，而不是 Rust；它没有 Rust 借用检查器和生态系统的成熟度，也选择避开 Go 绿色线程和较大运行时带来的成本，追求小巧、无外部依赖的构建产物。
更重要的是，Zero 的价值不只取决于语法是否优雅，而取决于“面向智能体的开发契约”是否会成为新常态。随着 AI 编程工具从代码补全走向自动修改、批量重构和长期维护，语言和工具链可能需要提供更稳定的机器接口，而不仅是更友好的终端输出。
不过，Zero 仍由 Vercel Labs 以开源实验项目推进，官方已提示会有破坏性变更，并建议在隔离工作区运行，不要用于生产系统或处理敏感数据。短期看，它更像一次语言与工具链设计实验；长期看，如果 AI 智能体真的成为重要代码作者，Zero 提出的图优先、结构化诊断和显式权限模型，可能会影响下一代开发工具的设计方向。