Zero横空出世：Vercel给AI Agent造了一门编程语言，3天狂揽2500星

导读

AI写代码这件事，2026年已经没人觉得稀奇了。GitHub Copilot、Cursor、Codex轮番上阵，开发者用AI写代码的效率确实翻了几番。

但问题依旧存在：大模型写Python、JavaScript、Go，生成出来的代码能不能跑全看运气——隐式副作用、内存泄漏、不安全的类型转换，每一样都让人头大。

Vercel Labs的解法很直接：既然Agent写代码容易出问题，那就造一门让Agent不容易犯错的语言。

这就是Zero——一门"Agent优先"的系统编程语言，发布仅3天，GitHub Star飙到2500+，开发者社区直接炸了。

---

四个核心特性

1️⃣ Agent优先，不是嘴上说说

传统编程语言的语法和语义设计，全是面向人类的。很多"约定俗成"的东西对人类来说一句话就懂了——比如Python的隐式类型转换、JavaScript的this绑定——但对AI模型来说是一团迷雾。

Zero从根基上就把Agent当作第一用户。语言设计遵循一条核心原则：每个副作用都必须显式声明。数据类型有清晰边界，不存在隐式转换。编译器的输出是结构化数据（JSON格式），Agent可以直接解析并自动定位问题、生成修复方案。

这意味着什么？Agent用Zero写代码，出错的概率会大幅降低——因为语言本身就不允许你写出模棱两可的代码。

2️⃣ 极小二进制，即用即弃

Agent的工作模式和人类有本质不同。人类写代码是长期维护、持续迭代。Agent更多是"临时创建一个小工具，用完就扔掉"。

Zero编译出来的可执行文件极其轻量，专为这种"即用即弃"场景设计。在沙箱或容器中快速执行、快速销毁，甚至连依赖都不用装——编译后就是一个独立的二进制文件。

3️⃣ 命令行工具链，一条命令搞定

Zero提供了一整套开发工具链：

命令

用途

zero check

静态检查代码

zero run

直接运行

zero build

编译到原生二进制

zero graph --json

输出结构化依赖图

zero size --json

输出二进制体积报告

zero doctor

一键诊断环境

zero skills

管理Agent技能库

全部一条命令搞定，不需要配置、不需要IDE、不需要package.json。Agent可以像调用API一样使用这些工具。

4️⃣ 结构化诊断信息

传统编译器的错误信息是一段文字。Zero的编译器不仅输出文字信息，还会生成可解析的JSON格式诊断数据。

Agent收到这些数据后，可以直接自动定位问题、生成修复方案，甚至自动打补丁。整个过程不需要人类介入。

---

为什么值得关注

2026年是AI Agent从"实验室玩具"走向"生产工具"的关键一年。但现阶段的痛点很明显：Agent生成的代码质量参差不齐。

Vercel的思路和Rust在系统编程领域的成功如出一辙——通过语言本身的设计约束来保证行为正确性。只不过这次，目标用户不是人类程序员，而是AI Agent。

这是一个很有趣的信号：当Agent成为代码的主要生产者时，编程语言设计是否需要重新思考？

Zero可能给出了第一个答案。它不一定能取代Python或JavaScript，但它指明了方向——未来的编程语言，可能需要同时为人类和Agent设计。

---

快速上手

# 安装

curl -fsSL https://zerolang.ai/install.sh | bash

export PATH="$HOME/.zero/bin:$PATH"

# 检查程序

zero check examples/hello.0

# 运行

zero run examples/add.0

# 编译为原生二进制

zero build --emit exe --target linux-musl-x64 examples/add.0

---

项目信息

项目

详情

名称

vercel-labs/zero

Star

⭐ 2,522+

语言

C

协议

Apache-2.0

地址

https://github.com/vercel-labs/zero

---

总结

Zero的核心洞察很简单：如果Agent写的代码总出问题，那不是Agent的错，是语言的问题。

这是一个底层逻辑的转变——从"教Agent用人类语言编程"到"为Agent设计编程语言"。Vercel在Next.js、Turborepo之后，又押注了一个新的基础设施方向。对于关注AI开发工具的我们来说，Zero值得放进收藏夹跟踪下去。