Zero

什么是 Zero？

Zero 是 Vercel 专为 AI 代理编写代码的世界而设计的实验性编程语言。代理不再编辑源代码文本，而是查询和修补语义程序图，编译器则检查每一次更改。人类只需提出期望的结果，然后在需要时审查可读的代码投影。该语言从零开始为代理式编码设计，注重令牌效率、快速构建、低内存和零依赖。

适用人群

• AI 代理开发者 — 构建需要编译器原生、基于图的程序表示而非文本修补的工具和工作流。
• 探索代理式编码的工程团队 — 希望使用一种语言，让编译器在每次编辑触及程序存储之前进行验证。
• 实验性基础设施的早期采用者 — 能够接受破坏性变更，并愿意在安全环境中运行 Zero，而非用于生产系统。

主要特性

图即程序架构

程序是语义图，而非源代码文本。符号、调用、类型、效果、节点 ID 和图哈希构成程序数据库，供代理查询和修补。可读的 .0 投影仍可供人类审查和罕见的手动编辑。

默认检查补丁

图补丁针对语义节点和字段，由图哈希和预期值保护。过时或无效的编辑在触及存储之前即失败，因此编译器会自动捕获形状、类型和过期状态问题。

更紧密的代理循环

传统循环先编写文本，然后运行工具来了解编辑的含义。Zero 将编译器置于循环中，使编辑成为对图的受检更改——减少代理的猜测和迭代周期。

内置运行时约束

Zero 旨在保持小巧、快速、明确且无依赖。设计优先考虑令牌效率、低内存、快速启动、快速构建和低延迟——同时不放松运行时目标。

亮点

Zero 颠覆了范式：图即程序，编译器是代理的安全网。

这是从基于文本的编码到基于图的编程的根本转变。Zero 不是让代理生成必须被解析和理解的代码，而是为它们提供一个结构化、可查询且内置验证的程序数据库。编译器根据图哈希和预期值检查每个补丁，使过时或无效的编辑在落地之前就不可能发生。对于构建代理式编码工作流的团队，这意味着更少的静默失败和更可信的自主编辑。

值得关注，如果……

你正在构建 AI 代理编码工具，并希望使用一种为机器原生编辑设计的语言，或者你好奇编译器拥有的程序图如何取代基于文本的源代码控制。如果你重视运行时效率——令牌经济、快速构建和零依赖——并且能够接受实验性、易发生破坏性变更的早期版本，Zero 也值得探索。从入门指南开始，然后深入了解图架构和编译路径页面，以理解程序数据库为何重要。