Zero

什么是 Zero？

Zero（也称为 Zerolang）是一种实验性编程语言，专为与编程智能体协作的人类设计。其编译器管理的图就是程序数据库：智能体检查语义结构并提交经过校验的编辑，而人类描述期望结果并审阅修改。

这种工作流将编译器检查纳入编辑过程。易读的 .0 投影文件可供人工审阅和偶尔手动修改。Zero 面向安全环境中的探索；其文档提醒用户应预期会有重大变更，并避免在生产系统中使用。

Zero 能做什么？

语义图查询

智能体使用 `zero query` 检查符号、调用、类型、效应、节点 ID 和图哈希，从而获取结构化程序信息，以便后续编辑。

带保护机制的图补丁

`zero patch` 面向语义节点和字段。图哈希和预期值可保护编辑；形状、类型、过期状态及仓库元数据检查会在无效更改写入存储前将其拒绝。

双向文本投影

`zero export` 会生成易读的源代码投影。对 `src/main.0` 等文件进行有意修改后，可通过 `zero import` 导回图中；`zero verify-projection` 用于检查投影一致性。

检查、测试和运行命令

命令行工作流包含 `zero check`、`zero test` 和 `zero run`。包命令默认使用当前目录，运行命令还可向程序传递参数。

生成构建产物

`zero build` 支持生成可执行文件、对象文件和 LLVM IR。指南演示了如何为 Linux musl x64 可执行文件选择目标平台和输出路径。

使用场景

“探索由智能体编写的程序”

让智能体构建 Hello World、初始化包、添加 main 函数和输出操作，然后运行程序。这是了解图工作流的一个简单起点。

“根据应用需求迭代”

通过对话式请求引导智能体使用图查询和经过校验的补丁开展工作，例如构建 CRM API、添加身份验证或修复失败的路由。

“以易读形式审阅更改”

需要类似源代码的文本供人工审阅时，可导出 `.0` 投影。CI 也可以使用投影验证作为门禁，以检测偏差。

常见问题

如何开始使用？

使用 `curl -fsSL https://zerolang.ai/install.sh | bash` 安装，将 `$HOME/.zero/bin` 添加到 PATH，并通过 `zero --version` 确认安装。使用 `npx skills add vercel-labs/zerolang` 安装智能体引导技能。

智能体应该直接编辑 .0 文件吗？

智能体通常应使用 `zero query` 和 `zero patch`。人类偶尔可以编辑投影文件，但在检查或运行程序前应先运行 `zero import`。

Zero 已适合用于生产环境吗？

Zero 仍处于实验阶段。其网站建议用户预期会有重大变更，并在远离生产系统的安全环境中运行。