Vercel Zero：一门把编译器输出的第一读者当成智能体的语言

前提

Zero 是 Vercel Labs 的实验性系统编程语言，Apache 2.0，.0 扩展名，可编译到 Linux / macOS / Windows 原生二进制。早期报道盯着体积与速度（Hello World 号称一毫秒内构建、16.2 KiB），但那不是它真正特别的地方。

它的设计前提是一句话：编译器输出的主要阅读者不再是人类，而是智能体。

工具链被写成了契约

• 单一 zero 二进制的每个子命令都支持统一的 --json，且使用同一套诊断模式
• 错误携带稳定代码（如 NAM003）与带类型的修复元数据（如 declare-missing-symbol）
• zero fix --plan --json 返回一份机器可读的修复计划，智能体可以接受、编辑或拒绝，而不是盲目套用

这正是本站《API 契约与接口边界》里那条判据的落地：出错时的形状也是契约的一部分。一个每次都换措辞的错误信息，对人只是烦，对自动修复的智能体是不可用。

副作用被搬到了签名上

任何与外部世界交互的函数必须接受一个能力参数 World，并由编译器强制。于是只看函数签名就能判断这段代码能不能访问网络、文件系统或标准输出。

对智能体而言，这把「它会不会偷偷做别的事」从读代码变成了读类型——与《智能体工作流设计》里那条判据同构：如果模型决定越界，是什么在物理上阻止它？

最激进的一步在 v0.3.0

图优先创作成为常规工作流：zero.graph 这份二进制存储才是编译器的输入，.0 文本文件降级为给人阅读的投影，智能体则通过 zero query 与 zero patch 工作。补丁受图哈希保护，过期或无效的编辑在写入存储之前就会失败。

这和前一天发布的 ARA 是同一个动作，只是换了对象：ARA 把论文从叙事改成机器可操作的知识包，Zero 把源码从文本改成图。 两者都把「给人看的那一版」降级为投影。

代价写在了迁移路径上

v0.1.4 是行语法，v0.2.0 把规范化的 .0 文本提升为原生源码载体，v0.3.0 在编译器边界彻底拒绝源码投影输入。既有的文本优先包必须用 zero import 导入图、再用 zero export 与 zero verify-projection 完成人工审查与 CI 漂移检查。v0.3.2 把大型程序的导入速度提升约 12 倍，正是因为这个转换本身太贵。

质疑值得原样带上

Hacker News 上的反对意见有两类，第二类更难回答：

1. 「没劲，唯一的新东西是能力机制」，以及「结构化错误消息已经存在几十年了」。反驳是：重点不在开发者，而在智能体——对人只是便利的东西，对自动修复是可用性的前提。
2. 「智能体最擅长的语言，将会是那些在预训练数据里出现最多的语言。」 这一条针对的是采用而不是设计，而一门新语言天然处在劣势。有人以 Svelte 的重大 API 变更为例反驳说训练数据的重要性可能低于预期，但这是类比不是证据。

项目自己写明：仍处于实验阶段、预计出现破坏性变更、应在隔离工作区运行，不要用于生产系统或敏感数据。 目前 v0.3.4，GitHub 星标 5200 以上。