# Zero让AI直接改程序图

> Vercel Labs 的实验性语言让智能体查询并修改语义程序结构，同时保留可供人类审阅的源码投影。

_Source: InfoQ report, cross-checked against the official Zerolang site, repository, README, release metadata, and license · 2026-08-20 · 7 min read · Verified against primary sources_

Canonical: https://iyu.app/zh/e/zerolang-graph-first-language-for-ai-agents

## 60 秒版本

Zerolang 让语义程序图成为编译器的事实来源，并让 AI 智能体通过受检的查询与补丁操作修改它。

**要点**

- 人类仍可审阅 `.0` 投影，但智能体通常通过编译器命令操作 `zero.graph`。
- 图哈希、预期值、结构检查和类型检查可在写入程序存储前拒绝陈旧或非法修改。
- 项目采用 Apache 2.0 许可证，核验时最新公开版本为 v0.3.4。
- 官方明确标注实验性质，只应在隔离且无敏感数据的工作区评估。

**结论.** Zero 还不适合生产采用，但把程序图变成智能体 API 的思路，是降低编码智能体修改歧义的一条可信路线。

## 全文

**Zero 改变的是 AI 修改程序的基本单位。** Vercel Labs 的实验性 Zerolang 不把源码行当作程序本体，而是让编译器维护的语义图成为事实来源。智能体查询图并提交受检补丁，人类则审阅可读的 `.0` 投影。

> **⚑ Caveat:** 官方明确称 Zerolang 为实验项目，预计会有破坏性变更、粗糙边角和安全问题。维护者建议只在隔离工作区试用，不要接触生产系统或敏感数据。


### 核心变化 — 程序本体是一张图

传统编码智能体修改文本、运行工具，再从诊断信息里推断含义。Zerolang 把符号、节点编号、调用、类型、效果、所有权事实、能力、导入关系和目标平台信息存入 `zero.graph`。`.0` 源码仍然可读，但主要是供人审阅和偶尔手工修改的投影。

- **传统智能体循环:** 修改源码文本、格式化、编译、检查错误，再尝试下一次文本修改。
- **Zerolang 循环:** 查询语义节点、提交受检图补丁、验证任务，再生成可读投影。
- **事实来源:** 由编译器维护的 `zero.graph`，而不是投影出来的源码文件。
- **人的角色:** 提出结果要求、审阅投影并确认行为；图模型不会取代人工审查。


### 受检修改 — 补丁更像一次事务

补丁可以定位语义节点与字段，并携带预期图哈希和旧值。哈希过期、值不符、结构非法或类型错误时，修改可在写入程序存储之前失败。这能减少行号漂移和盲目搜索替换带来的错误。

> 最合适的类比是受检数据库事务：智能体提出语义修改，编译器依据当前程序状态接受或拒绝。

这并不能证明需求理解和生成行为一定正确。智能体仍可能引入不安全逻辑或写出无效测试。图检查改善的是修改接口，不能替代运行时隔离、代码审查、依赖治理和安全测试。


### 已经落地 — 不只是一个概念

- **v0.3.4** — 核验时列出的最新公开版本
- **Apache 2.0** — 官方仓库许可证
- **.0** — 人类可读的投影格式

官方仓库记录了 `zero query`、`zero patch`、`zero check`、`zero test` 和 `zero run`，也提供显式导入导出命令来管理图与文本投影的边界。编译器还附带版本匹配的智能体技能，减少文档与工具版本错位。

> **i** 项目把令牌效率、低内存、快速启动与构建、低延迟、显式能力和无依赖产物列为运行时目标。这里应把它们视为设计目标，而非独立验证过的跑分结论。


### 真正意义 — 编译器语义可能成为智能体接口

即使 Zerolang 最终没有成为主流系统语言，它的接口仍释放出一个重要信号：工具若能暴露稳定的语义对象、前置条件和结构化失败，编码智能体就不必反复从自然语言错误和行级差异里重建程序含义。


### 实用结论 — 现在研究接口，不迁移生产

- **智能体与编译器开发者：**在一次性仓库测试陈旧补丁处理、投影质量和任务成功率。
- **应用团队：**生产代码继续使用成熟工具链，但应检查编译器、静态分析和重构工具能否提供机器可读的语义操作。
- **安全团队：**把智能体权限、沙箱、依赖信任和审查作为独立控制；图优先语言不会自动消除这些风险。

值得观察的不是大家会不会开始写 `.0` 文件，而是“受检语义修改”会不会成为编译器与编码智能体之间的标准接口。


## Primary sources

- [InfoQ — Vercel Labs Ships Zero](https://www.infoq.com/news/2026/08/vercel-ships-zero-ai/)
- [Zerolang official site](https://zerolang.ai/)
- [Vercel Labs Zerolang repository](https://github.com/vercel-labs/zerolang)
- [Zerolang v0.3.4 release](https://github.com/vercel-labs/zerolang/releases/tag/v0.3.4)

---
_Published by iyu (https://iyu.app) — the day's AI news, checked against primary sources and rewritten in plain language. Free to quote with attribution and a link to the canonical URL._