产品概述
Zero是Vercel Labs推出的开源、1.0版本前的实验性系统编程语言,将AI Agent而非人类开发者作为主要用户进行设计。它编译为小型原生二进制文件,优先考虑Agent可以即时学习的最小化、规则化语法。Zero不是为人类便利性优化,而是让Agent的代码生成、检查和修复变得简单直接——通过结构化JSON诊断、显式副作用声明和标准库优先的理念,减少对外部包解析的需求。
主要功能
| Agent优化语法 | 精简的语法表面和规则模式,特殊情况极少,使Agent能够在实际工作中学习和掌握该语言——无需在大型代码库上进行预训练。 |
| 结构化JSON诊断 | 编译器以结构化JSON数据的形式输出诊断信息、大小报告和修复方案,为Agent提供可直接操作的机器可读反馈来修复错误。 |
| 显式副作用系统 | 文件I/O、网络访问和其他外部交互在函数签名中显式声明,使副作用对工具和人类审查者都清晰可见且可预测。 |
| 标准库优先 | 该语言面向广泛、一致的内置标准库,使大多数程序可以基于文档化的API编写,无需Agent搜索或评估第三方包。 |
| 确定性修复循环 | 工具链将图表、解释和修复元数据作为结构化输出暴露,使Agent能够运行可靠的修复-验证循环,最大限度减少猜测。 |
使用场景
- Agent代码生成:AI编程Agent可以利用该语言规则化、可预测的模式从零开始生成Zero程序——减少使用通用编程语言时困扰Agent的幻觉和无效语法。
- 自动化代码修复:Agent可以使用编译器的结构化修复元数据,在确定性反馈循环中迭代修复损坏的程序,无需人工干预。
- 原生CLI工具构建:开发者和Agent可以编译小型、独立的原生二进制文件,适用于命令行工具和自动化脚本,目标输出大小低于10 KiB。
- 安全沙箱实验:探索Agent驱动软件开发的团队可以在隔离环境中使用Zero,实验Agent如何端到端地读取、修改和发布程序。

