Vercel发布Zero：面向AI智能体的图优先系统语言

Vercel Labs推出了一款面向AI智能体开发的实验性系统编程语言Zero，这款语言的核心设计逻辑，是让编译器的输出不再以人类为主要阅读对象，而是优先适配AI智能体的使用场景。该语言由Vercel的相关负责人在2026年5月15日正式发布，官方将其定位为一款速度更快、体积更小，且更便于智能体完成代码编写与修复工作的系统级编程语言。截至目前，该项目已经更新至v0.3.4版本，在开源代码平台收获了超过5200个星标。

Zero使用.0作为文件扩展名，采用Apache 2.0开源许可证，支持编译生成适用于Linux、macOS以及Windows平台的原生二进制文件。早期的行业关注焦点集中在它的体积与编译速度上：一个基础的Hello World程序仅需不到1毫秒即可完成构建，最终生成的二进制文件大小仅为16.2 KiB。而这款语言最具特色的设计，在于其统一的工具链契约：单一的zero二进制文件的所有子命令，都支持统一的--json参数，并且采用一致的诊断输出模式。错误信息会携带NAM003这类稳定的错误代码，以及declare-missing-symbol这类带有类型标识的修复元数据；通过执行zero fix --plan --json命令，还可以获取一份机器可读的修复方案，智能体可以直接接受、编辑或者拒绝这份方案，而非盲目自动应用修复。

在副作用管控方面，Zero采用了显式设计。任何需要与外部世界产生交互的函数，都必须接收一个World能力参数，这一规则由编译器强制执行。开发者只需要查看函数签名，就可以直接判断这段代码是否具备访问网络、文件系统或者标准输出的权限。

v0.3.0版本是Zero发展历程中的重大更新，该版本将图优先的开发模式设置为标准工作流。现在，二进制格式的zero.graph存储作为编译器的核心输入来源，.0格式的文本文件则成为供人类阅读的代码投影。智能体可以通过zero query和zero patch命令来完成代码的查询与修改操作，所有的代码补丁都会受到图哈希的保护，过期或者无效的编辑操作，会在写入存储之前就被拦截失败。

对于已经使用过Zero早期版本的开发者来说，这次的更新带来了不小的变化。v0.1.4版本采用行语法作为基础格式，v0.2.0版本将规范化的.0文本格式提升为原生的源码载体，而v0.3.0版本则在编译器层面彻底拒绝直接输入源码投影。因此，现有的基于文本优先的软件包，需要通过zero import命令将源代码导入到图存储中，再通过zero export和zero verify-projection命令完成人工审查以及CI漂移检查。这一完整流程已经被整理到官方文档中，而v0.3.2版本还将大型程序的zero import速度提升了约12倍，有效降低了这类格式转换的成本。

在社区讨论中，这款语言也引发了不少争议。有用户评论道：

没劲。它唯一的新东西就是能力机制，而他们对此并没有解释。

另有评论者认为结构化的错误提示并非新鲜事物，这类错误信息已经存在了数十年之久，但有回复反驳称，这款语言的设计重点并非面向人类开发者，而是为AI智能体量身打造的：

作为一名开发者，我知道这类错误消息已经存在几十年了，而且我同意你的看法：对于你我以及许多其他开发者来说，这并不是什么大问题。但这并不能成为不去开发一种AI智能体也能使用的东西的理由，而且这里关注的不是开发者，而是智能体。

还有不少用户对Zero的市场接受度提出了质疑，有观点认为智能体最擅长使用的语言，会是在预训练数据中出现频率最高的现有语言；不过也有用户以类似项目的重大API变更为例反驳，认为训练数据的重要性可能并没有预期中那么高。

与成熟的系统编程语言相比，Zero在二进制文件体积和显式内存分配方面的设计更接近Zig，而非Rust；它目前还缺少Rust所具备的成熟借用检查机制和庞大的生态系统，同时为了换取体积小巧且不依赖外部组件的构建产物，它也放弃了部分其他语言的特性。

Zero是由Vercel Labs开发的开源项目，官方明确提醒，该项目目前仍处于实验阶段，预计会出现破坏性的变更，建议开发者在隔离的工作区中进行测试，切勿将其用于生产系统或者处理敏感数据。