Zero：Vercel 出品的 Agent 编程语言——显式效应与可预测内存的系统级新秀
📅 2026年05月18日 · 技术
引言
编程语言的世界从来不缺新成员，但由 Vercel Labs 出品、专为 AI Agent 设计的系统级语言，绝对值得关注。Zero 的定位非常清晰：它是面向代理的编程语言——为小型原生工具、显式效应、可预测的内存管理和结构化的编译器输出而设计。
在 AI 代理需要生成和执行代码、与底层系统交互的时代，Zero 试图回答一个关键问题：什么样的编程语言最适合被 AI 理解和生成？
项目介绍
Zero 是一门系统级编程语言，语法简洁类似 C 语言家族，使用 .0 作为文件扩展名。它由 Vercel Labs 团队孵化，目前处于实验阶段——编译器、标准库、文档和示例已经可以用于试用和反馈，但语言本身尚未稳定。
Zero 的设计哲学围绕几个关键词：小型原生工具（生成体积小、无运行时的可执行文件）、显式效应（副作用必须显式声明和追踪）、可预测内存（编译时即可推断内存行为）、结构化编译器输出（编译器产生机器友好的 JSON 输出，便于 AI 代理理解和修复错误）。
核心特性
- 代理优先设计：编译器输出结构化 JSON，AI 代理可精确解析错误信息、依赖图和路由信息
- 显式效应系统：所有副作用（IO、内存分配、网络请求）必须显式标注，编译器在类型层面追踪
- 无运行时依赖：编译产物为原生可执行文件，体积小、启动快
- 内置工具链：
zero check（类型检查）、zero run（解释运行）、zero build（编译）、zero graph（依赖图）、zero routes（路由信息）等丰富命令 - 跨平台编译：支持 linux-musl-x64 等多种目标平台
- AI 技能集成：通过
zero skills get zero --full获取语言完整规范，供 AI 代理学习
适用人群
- 编程语言爱好者：对前沿语言设计感兴趣，希望探索"AI 优先"语言范式
- 系统开发者：需要生成小型、高性能、无运行时的原生工具
- AI Agent 开发者：构建需要生成和执行代码的 AI 代理系统
- 编译原理学习者：Zero 的编译器架构和效应系统是很好的学习案例
快速上手
安装 Zero 只需一行命令：
curl -fsSL https://zerolang.ai/install.sh | bash
export PATH="$HOME/.zero/bin:$PATH"
zero --version运行你的第一个 Zero 程序：
# 检查程序语法
zero check examples/hello.0
# 运行程序
zero run examples/add.0
# 输出: math works编译为可执行文件：
zero build --emit exe --target linux-musl-x64 examples/add.0 --out ./myprogramZero 的文档非常完善，包括入门指南、语言教程、语言参考和按概念分组的示例代码。本地运行文档站点：npm run docs:dev
对 AI Agent 的独特价值
Zero 真正有趣的地方在于它的AI 亲和设计。对于 AI 代理来说，生成代码的最大挑战不是算法逻辑，而是：
- 错误定位困难：传统编译器的错误信息面向人类，AI 难以精确解析。Zero 的
--json输出格式直接面向机器消费 - 副作用不可预测：AI 代理难以推断代码的运行时行为。Zero 的显式效应系统让副作用在编译时可见
- 依赖混乱：Zero 的
zero graph --json命令输出完整的依赖图，AI 代理可以精确理解模块关系 - 路由清晰：
zero routes --json输出 Web 应用的路由结构
这些特性使 Zero 成为AI 代理代码生成场景的理想目标语言。
总结
Zero 是一门大胆的实验性语言——它没有试图成为下一个 Rust 或 Go，而是专注于一个未被充分服务的场景：AI 代理与代码的交汇点。虽然语言尚未稳定，但其设计理念已经为"AI 优先编程语言"树立了一个有趣的参照系。如果你对编程语言的未来方向感兴趣，或者正在构建 AI 代理系统，Zero 绝对值得关注和试用。