Vercel 开源实验性编程语言 Zero：专为 AI Agent 设计的"图优先"语言

Vercel Labs 近日在 GitHub 开源了一款名为 Zero 的实验性编程语言，目前已获得 5310 颗 Star 和 339 次 fork。与传统编程语言不同，Zero 的核心定位十分明确：它不是为人类程序员设计，而是为 AI Agent 量身打造。

从"文本中心"到"图中心"

Zero 最大的架构创新在于将程序的源头从文本转向图结构。传统编程中，开发者直接编辑文本代码；而在 Zero 的工作流里，AI Agent 查询的是程序语义图，提交的是经过校验的 patch 操作，编译器则直接决定接受或拒绝这些变更。人类角色被后撤，只需偶尔查看文本投影即可。

语义锚点替代行号定位

Zero 将 Agent 的编辑操作定义为对语义图的 patch，而非对文本行的修改。每个 patch 携带图哈希和字段期望值，编译器在写入前执行严格校验：目标节点是否保持读取时的状态、类型与形状是否符合预期。一旦图结构被其他操作改乱或期望不匹配，编辑立即失败，不会落盘。

这种机制让 Agent 的编辑目标从"第 47 行第 3 个字符"转变为"653eeb6e 号表达式的 value 字段"，大幅提升了定位的可靠性。

文本退居投影角色

在 Zero 的文件体系中，.0 文件仅是 zero.graph 的文本投影。人类通过 export 查看代码，Agent 通过 query 读图、patch 写图，import/export 成为人与 Agent 之间的边界接口。

社区质疑：优势尚待证明

该语言在 Hacker News 上的反响相对平淡。主要质疑集中在两方面：Agent 为何需要学习新语言而非沿用熟悉的 Python 或 TypeScript；Zero 声称的语义图优势缺乏量化数据支撑。目前 Zero 仅发布 13 个版本，语言本身仍在剧烈迭代中，更像一个探索性实验。

Zero 能否真正立足，或许取决于一个关键问题的答案：用它编写程序，是否比用 Python 错误率更低、消耗的 token 更少？