Vercel开源AI专用语言Zero

Vercel Labs近日在GitHub上开源了一门名为Zero的实验性编程语言，迅速吸引了开发者社区的关注——项目上线不久便收获了5310颗星标和339次fork。然而，Zero真正的创新点并非语法或性能，而在于其独特的定位：这是一门“为AI Agent设计、而非为人使用”的编程语言。

与传统编程语言以文本文件为源头不同，Zero将程序的源头定义为一张“语义图”（program graph）。AI Agent不再修改文本行，而是对这张图提交带有校验信息的patch操作。每个patch都包含目标节点的图哈希和字段期望值，编译器在写入前会严格校验：目标节点是否仍处于读取时的状态、类型与结构是否匹配。若图已被其他操作修改或状态不符，该patch将被直接拒绝，绝不落盘。这种机制为Agent提供了可靠的语义锚点——例如，“修改653eeb6e号表达式的value字段”，远比“第47行第3个字符”更稳定且不易出错。

在Zero的世界里，人类开发者退居“循环之外”。.0文件只是zero.graph的文本投影，仅供人类通过export命令查看；而Agent则通过query读取图结构，并通过patch写入变更。import/export机制成为人与Agent之间的边界接口，实现了职责分离。

尽管理念新颖，Zero在Hacker News等社区引发的讨论却相对冷淡。质疑主要集中在两点：一是AI Agent为何需要学习一门全新语言，而非直接使用Python或TypeScript等成熟生态；二是Zero所宣称的语义图优势尚未有量化证据支持，例如是否真能降低错误率或减少token消耗。目前，该项目仅发布了13个版本，语言规范仍在剧烈变动中，更像一场关于未来编程范式的思维实验。唯有当Zero能实证其在Agent协作场景中的效率与可靠性优势时，这门语言才算真正站稳脚跟。