Vercel Labs 在 GitHub 开源了实验性编程语言 Zero，已获 5310 星、339 次 fork，但其真正卖点是定位——这是一门"给 AI Agent 用、不是给人用"的编程语言。传统编程以文本为源头，Zero 则把源头换成图：Agent 查询程序图、提交带校验的 patch，编译器直接接受或拒绝，人只需偶尔看一眼文本投影。
编译器在循环里，人在循环外
Zero 的核心是把 Agent 的编辑变成对语义图的 patch 操作，而非改文本行。每个 patch 都带图哈希和字段期望值，编译器写入前先校验：对应节点是否仍是你读取时的状态、类型与形状对不对；若图已被别处改乱或期望不符，编辑直接失败、绝不落盘。这让 Agent 的编辑有了语义锚点——目标是"653eeb6e 号表达式的 value 字段"，而非"第 47 行第 3 个字符"，比行号可靠得多。
文本退居投影角色：.0文件只是zero.graph的投影，人用export查看、Agent 用query读图、patch写图，import/export只是人与 Agent 的边界接口。社区在 Hacker News 上反应平淡，质疑集中在两点：Agent 为何要学新语言而非用熟悉的 Python、TypeScript，Zero 的语义图优势又缺乏量化证明。截至发布它仅 13 个 release、语言仍在剧变，更像一个思维实验——唯有证明"用 Zero 写比 Python 错误率低、token 省"时，这门语言才算真正站住脚。
