Vercel Labs发布了实验性系统编程语言Zero，旨在将编译器的输出从人类阅读者转变为AI智能体。Chris Tate于2026年5月15日宣布了这一突破性进展，将其定位为速度更快、体积更小且易于智能体使用和修复的系统语言。自发布以来，Zero迅速获得关注，v0.3.4版本已超过5200个Star，并采用Apache 2.0许可证。其独特的工具链契约允许单一二进制文件的每个子命令统一使用--json标志，并使用相同的诊断模式，确保错误携带稳定代码和元数据。此外，zero fix --plan --json功能返回机器可读的修复计划，智能体可以接受、编辑或拒绝。然而，与外部世界交互的函数必须接受World能力参数并由编译器强制执行，仅凭函数签名无法判断代码是否可以访问网络、文件系统或标准输出。在v0.3.0中，图优先创作成为常规工作流，而v0.3.2则显著提升了大型程序的zero import速度，降低了转换成本。尽管Zero在开发者社区引起了不同的看法，但核心观点在于智能体的重要性，而非开发者。

--91likeyou---

副作用同样是显式的。任何与外部世界交互的函数都必须接受一个 World 能力参数，并由编译器强制执行，因此只看函数签名就能判断代码是否可以访问网络、文件系统或标准输出。

更大的转变出现在 v0.3.0 中，该版本将图优先创作设为常规工作流。现在，二进制 zero.graph 存储是编译器的输入，.0 文件则是供人类阅读的投影，而智能体通过 zero query 和 zero patch 工作。补丁受图哈希保护，因此过期或无效的编辑会在写入存储之前失败。

对于已经使用较早版本的用户来说，这些变化确实影响不小。v0.1.4 采用了行语法，v0.2.0 将规范化的 .0 文本提升为原生源码载体，而 v0.3.0 则在编译器边界彻底拒绝源码投影输入。因此，现有的文本优先软件包需要使用 zero import 将源代码导入图中，并通过 zero export 和 zero verify-projection 完成人工审查及 CI 漂移检查。这一流程记录在入门指南和语言参考中。v0.3.2 将大型程序的 zero import 速度提升了约 12 倍，从而降低了这种转换的成本。

在 Hacker News 上，killerstorm 写道：

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

另一位评论者认为结构化错误早已不是什么新鲜事，并称“这样的错误消息已经存在几十年了”，而一则回复则反驳称，重点在于智能体，而不是开发者：

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

其他人则对采用情况提出质疑。一位用户指出，“智能体最擅长的语言，将会是那些在预训练数据中出现最多的语言”；kandros 则回应称，Svelte 等项目中的重大 API 变更表明，训练数据的重要性可能低于预期。

与成熟语言相比，Zero 在二进制文件体积和显式分配方面更接近 Zig，而不是 Rust；它缺乏 Rust 借用检查器的成熟度和生态系统，并以 Go 的绿色线程和较大运行时为代价，换取体积小巧且不依赖外部组件的构建产物。

Zero 是由 Vercel Labs 开发的开源项目。该项目警告称，它仍处于实验阶段，预计会出现破坏性变更，并且应在隔离的工作区中运行，而不是用于生产系统或处理敏感数据。

：

🔥 热词：#14油耗投多少钱一公里 · #ipad2017上市多少钱 · #人体结构几何体速写 · #乙肝患者可以吃茄子吗 · #ca722航班回国经过 · #产品商标怎么查 · #进口加热棒10大品牌 · #建水共享电单车