Zero 语言：Vercel 为 AI Agent 设计的系统编程语言
介绍 Vercel Labs 实验性的图原生 Zerolang：语义图、受校验修改、可读源码投影与 Agent 工具链，说明安全边界。
直接回答：Zerolang 是 Vercel Labs 的实验性图原生语言项目。当前仓库以语义图 zero.graph 为程序数据库，Agent 通过查询和受校验的修改工作；不能只把它描述为带 JSON 报错的 Rust 替代品。
为什么需要一门新语言
项目探索让 Agent 操作符号、类型、调用关系与图版本，而不只修改文本行。结构化诊断并非首创，Rust 的 rustc/Cargo 已支持 JSON 诊断。是否提高任务成功率需要实际评估。
语言速览
当前 .0 文件是 zero.graph 的可读投影，不是默认 Agent 写入入口。官方 Hello World 投影示例：
pub fn main(world: World) -> Void raises {
check world.out.write("hello from zero\n")
}
逐部分解读：
pub fn main：公有函数，程序入口(world: World)：能力（Capability）参数——任何 I/O 都必须显式声明-> Void raises：无返回值且可能失败check：把错误向上传播
能力系统：副作用显式化
World 体现外部能力的显式传递。不能由函数没有这个参数就推断所有内部状态修改都不存在，也不能把能力类型当操作系统沙箱。
Wasm 是否允许文件访问取决于目标、宿主和授权，并非使用文件能力必然编译失败。当前实验应在无生产凭证、无敏感数据的隔离目录中进行。
与现有方案的对比
| 维度 | Rust 等成熟语言 | Zerolang 当前探索 |
|---|---|---|
| 机器诊断 | 已有 JSON 等结构化接口 | Agent 友好的检查与查询 |
| 编辑对象 | 通常是源文件 | 语义图与受校验补丁 |
| 可读结果 | 源码 | 可导出 .0 投影 |
| 成熟度 | 成熟工具与生态 | 实验性、可能破坏兼容 |
典型命令为 zero query、zero patch、zero check、zero test、zero run；文本导入导出需显式处理。
什么时候用 Zero
- 重度用 AI Agent 写/改系统级代码的团队：工具链的机器可读性直接提升 Agent 成功率
- 对副作用控制有强诉求的项目（安全敏感、Wasm 场景）
- 关注"AI 时代编程语言该怎么设计"的技术尝鲜者
生态尚早，生产核心系统贸然押注需谨慎；但把它作为观察"Agent 优先开发工具"演进的窗口很有价值。
常见问题（FAQ）
Q：JSON 诊断是它独有的吗？
A：不是，差异应看整体图编辑工作流。
Q：能力系统等于内存安全或沙箱吗？
A：这些是不同问题，仍需宿主隔离。
Q：适合迁移生产系统吗？
A：官方明确警告实验性、安全风险与破坏性变化；应先在隔离测试项目验证。
参考资料
资料核对日期：2026 年 9 月 29 日。本文基于公开文档整理，代码片段和评估方案未作独立运行或性能验证；厂商测试结果已注明来源。
