Vercel Labs推出Zero语言 让AI代理直接读取、修复并生成本地程序

背景

传统系统语言的编译器错误信息面向人类阅读，AI 代理在解析这些自由文本时往往出现脆弱的错误循环：代码‑>编译报错‑>文本解析‑>修复。Vercel Labs 通过推出 Zero 语言，从根本上改造了这一工作流，使编译器输出可直接供智能体消费，实现“Agent‑First” 的工具链理念。

核心特性

• 结构化 JSON 诊断：zero check --json 直接返回包含 code、message、line 与 repair.id 的对象，错误码如 NAM003 稳定不变，便于代理匹配。
• 修复计划输出：zero fix --plan --json 生成机器可读的修改方案，省去自然语言推理。
• 统一 CLI：zero check、zero run、zero build、zero explain、zero fix、zero skills 等全部子命令归于同一二进制，代理无需切换工具。
• 能力化 I/O：函数签名必须声明外部能力，如 pub fun main(world: World) -> Void raises { check world.out.write("hello ") }，编译期即检测非法 I/O。
• 小体积本地二进制：静态链接、无 GC、显式内存管理，生成的可执行文件通常小于 10 KiB，适用于资源受限环境。

设计细节

Zero 采用与 C / Rust 类似的系统编程模型，提供显式的内存控制和跨平台编译能力。能力对象 World 抽象了标准输出、文件系统、网络等资源，所有副作用必须通过该对象传递，编译器在源码层面强制检查，避免运行时隐式调用。错误处理采用 check 关键字与 raises 注解，使错误路径在函数签名中可见，提升代码可预测性。

使用指南

curl -fsSL https://zerolang.ai/install.sh | bash
export PATH="$HOME/.zero/bin:$PATH"
zero --version
# 编译并运行示例
zero check examples/hello.0
zero run examples/hello.0
# 生成本地二进制
zero build --emit exe --target linux-musl-x64 examples/hello.0 --out ./out/hello

VS Code 已提供 .0 文件语法高亮插件，配合 zero skills get zero --full 可获取版本匹配的操作指南，确保代理在不同编译器版本间保持一致性。

前景与局限

Zero 仍处于实验阶段（v0.1.1，Apache‑2.0），生态尚未形成完整的包管理或社区插件。其设计理念为 AI 代理提供了可直接解析的编译信息，为未来的自动化代码修复、持续集成以及低功耗嵌入式 AI 应用奠定基础。但在大型项目、跨语言互操作以及成熟的调试工具链方面仍有待完善。随着 AI 编程助手的普及，Zero 的“Agent‑Native” 思路或将推动系统语言向更结构化、机器可读的方向演进。