zero 是什么?

zerolang(zero)是 Vercel Labs 的实验性「agent-first 编程语言」:从第一天起就把 AI agent 当主要用户来设计——语言面小而规整、可即学即用,工具链把诊断、图事实、size 报告、修复计划都做成结构化输出供 agent 检查和自动修复,标准库够宽以致大多数程序不用先搜依赖。`.0` 后缀,C 实现编译器,zero check/run/build/graph 命令,明确 pre-1、刻意不稳定、不可用于生产。

⭐ 4,532 Stars 🍴 288 Forks C Apache-2.0 作者: vercel-labs
来源:README 'zerolang is an experiment' + 'What zerolang Is Aiming For' + AGENTS.md 查看 GitHub 仓库 →

为什么值得关注

几乎所有现有编程语言都是为人设计的,而 2025-2026 的现实是大量代码由 AI agent 写。zerolang 提出一个尖锐问题:如果从一开始就把 agent 当主要用户,语言、标准库、工具链该长什么样?它的几个设计取舍很有讨论度——语言面小而规整、一种明显写法(regularity over syntax)让 agent 能从例子和编译器反馈即学即用;工具输出全部结构化(zero graph --json 出图事实、zero size --json 出体积、zero doctor --json 出诊断、还有修复计划)让 agent 能 inspect 并自动 repair;标准库做宽以避免「程序一开头就得搜依赖」。背靠 Vercel Labs 品牌、配 zero skills 命令把语言知识喂给 agent,是「为 AI 重新设计编程语言」这个前沿命题上少见的认真实验。但它非常诚实地标注 pre-1、刻意不稳定、安全漏洞在预期内、只能在隔离环境跑。

来源:README + AGENTS.md 'Project Direction'

核心功能

Agent-first 可即学语言面

刻意做小而规整的语言表面,让 agent 能从例子、文档和编译器反馈快速上手;设计哲学是 regularity over syntax——多数事情只有一种明显写法,哪怕比人在别的语言里会写得更显式。目标是 agent 不必记忆语法、靠结构化反馈现学现用。

来源:README 'Agent-first learnability' / 'Regularity over syntax'
结构化、可被 agent 消费的确定性工具链

诊断、图事实、size 报告、解释、修复计划都做成结构化输出:zero graph --json 出依赖/结构图事实、zero size --json 出体积报告、zero doctor --json 出环境诊断,让 agent 能 inspect 并据此 act/repair,而不是解析人类向的文本输出。这是「为 agent 设计工具」与传统 CLI 的核心区别。

来源:README 'Deterministic tooling' / Common Commands
宽标准库(避免依赖搜索)

把常用能力放进有文档、连贯的标准库 API,而非散落的依赖栈,目标是「大多数程序不用以一次依赖搜索开头」——直接降低 agent 写程序时的依赖决策与供应链负担。

来源:README 'Standard-library depth'
C 实现编译器 + 多目标构建

native/zero-c 是 C 实现的编译器/运行时(22 个 .c + 10 个 .h),支持 zero build --emit exe --target linux-musl-x64 这类原生交叉编译产出可执行文件。`.0` 是源文件后缀(仓库 663 个 .0 文件,多为 conformance 与 examples)。

来源:native/zero-c 目录 + README Common Commands(zero build --target)
zero skills:把语言知识喂给 agent

zero skills get zero --full 把语言/库/工具的知识以 skill 形态导出给 agent,配合 skill-data/ 和 skills/ 目录,让 Claude Code 等 agent 加载后更会写 zerolang——把「教会 agent 用这门语言」做成一等命令。

来源:README Common Commands(zero skills get)+ skills/ 与 skill-data/ 目录
庞大 conformance 套件 + 多层验证

conformance/(647 文件)是语言一致性测试套件;pnpm 脚本提供 conformance、native:test、command-contracts(命令契约测试)、type-core:test、mir-verifier:test(MIR 中间表示验证)、row-syntax:test 等多层验证,docs:test 校验文档示例可跑。turbo + pnpm monorepo 组织。

来源:tree(conformance/ 647)+ package.json scripts

技术架构

zerolang 是 pnpm + turbo 管理的 monorepo,分层清晰:native/zero-c 是 C 写的编译器/运行时核心(含 MIR 中间表示,有专门的 mir-verifier 验证);上层 CLI 与工具链用 TypeScript(tsx/ts/mts,提供 zero check/run/build/graph/size/skills/doctor 等命令,全部支持 --json 结构化输出);conformance/(647 文件)是语言一致性测试套件,examples/ 放 .0 示例,docs/ 是文档站,benchmarks/ + evals/ 做性能与 agent 效果评估,extensions/ 与 skills/+skill-data/ 承载 agent 技能导出,还有 row-syntax(.row 文件,疑似 row 类型/记录语法)。数据流围绕「agent 可消费」组织:源码 .0 → C 编译器做检查/编译 → 工具层把诊断、图事实、size、修复计划统一成 JSON → agent inspect 并 repair。设计判断:把「为 agent 设计」落到三个具体支点——小而规整的语言面、全 JSON 的确定性工具输出、宽标准库——并配庞大 conformance 套件守护一致性,是相当系统化的语言工程;同时 AGENTS.md 明确「不为兼容保留 legacy、优先更清晰的 agent-facing 设计」,意味着架构会持续重构、不承诺稳定,是这门语言现阶段的本质特征而非缺陷。

来源:tree + package.json scripts + AGENTS.md

项目知识图谱

知识图谱:项目核心节点(中心)+ 核心功能(内环六边形)+ 关键技术依赖(外环 chip) native/zero-c — C 实现编译器,支持 --target linux-musl-x64 等交叉编译native/zero-c MIR verifier — 中间表示验证(mir-verifier:test)MIR verifier conformance 套件(647 文件)— 语言一致性conformance 套… command-contracts — CLI 命令契约测试command-contra… row-syntax(.row)— row 类型/记录语法row-syntax(.r… Agent-first 可即学语言面Agent-first 可即学语… 结构化、可被 agent 消费的确定性工具链结构化、可被 agent 消… 宽标准库(避免依赖搜索)宽标准库(避免依赖搜索… C 实现编译器 + 多目标构建C 实现编译器 + 多目标… zero skills:把语言知识喂给 agentzero skills:把语言… 庞大 conformance 套件 + 多层验证庞大 conformance 套… zero 项目本体 核心功能 关键依赖

中心为项目本体,内环 = 核心功能模块,外环 = 关键技术依赖;按 deep.json 中的 core_features 与 tech_stack.key_deps 自动生成

技术栈

语言C(编译器/运行时 native/zero-c)+ TypeScript(CLI/工具链)+ zerolang 自身(.0,663 文件)框架自研语言工具链(zero CLI);pnpm + turbo monorepo;MIR 中间表示 + 验证器
native/zero-cMIR verifierconformance 套件(647 文件)— 语言一致性command-contractsrow-syntax(.row)— row 类型/记录语法pnpm@11 + turbo
安装走 curl https://zerolang.ai/install.sh | bash(装到 ~/.zero/bin);Apache-2.0;pre-1 刻意不稳定;docs 站独立;本地跑 benchmarks/conformance/native:test/command-contracts 验证
来源:tree(exts:663 .0 / 22 .c / tsx-ts)+ package.json + README

快速上手

# 安装最新版 curl -fsSL https://zerolang.ai/install.sh | bash export PATH="$HOME/.zero/bin:$PATH" zero --version # 检查程序 zero check examples/hello.0 # 运行 zero run examples/add.0 # 期望输出: math works # 常用命令 zero build --emit exe --target linux-musl-x64 examples/add.0 --out .zero/out/add zero graph --json examples/systems-package # 结构图事实(JSON) zero size --json examples/point.0 # 体积报告(JSON) zero skills get zero --full # 把语言知识导出为 agent skill zero doctor --json # 环境诊断(JSON) # ⚠ pre-1、刻意不稳定、安全漏洞在预期内——只在隔离/可丢弃环境运行 # 本地验证 pnpm run conformance && pnpm run native:test && pnpm run command-contracts
来源:README Quick Start / Common Commands / Validation 原文

使用场景

1. 研究「为 agent 设计语言」的人:想看 agent-first 语言面、全 JSON 工具输出、宽标准库这套理念怎么落地,跑 examples 看结构化输出并反馈;2. 让 agent 写 zerolang:用 zero skills get zero --full 把语言知识喂给 Claude Code 等 agent,观察 agent 借结构化诊断/修复计划自我纠错的效果;3. 语言/工具链实验者:基于 conformance 套件和 command-contracts 探索语言一致性、MIR 验证等工程做法;4. 想体验「确定性工具供 agent 消费」范式的开发者:对比 zero graph/size/doctor 的 --json 输出与传统 CLI 文本输出的差异。注意:均限隔离环境,不可用于生产/敏感数据。

来源:README + AGENTS.md(明确不可生产)

优势与局限

优势

  • 命题前沿且系统化:把「从零为 agent 设计语言」落到三个具体支点(小而规整语言面、全 JSON 确定性工具、宽标准库),不是口号而是有 conformance 套件、MIR 验证、command-contracts 支撑的系统工程
  • 工具输出为 agent 而设计:zero graph/size/doctor 全部 --json 结构化,让 agent 能 inspect 并自动 repair,这与传统给人看的 CLI 文本是范式区别
  • 诚实定位:README 与 AGENTS.md 反复明说 pre-1、刻意不稳定、安全漏洞在预期内、不可生产、只在隔离环境跑——不夸大、把风险讲在最前面
  • 工程基建扎实:C 编译器 + MIR 中间表示与验证器 + 647 文件 conformance 套件 + 命令契约测试 + 文档示例可跑校验,pnpm+turbo monorepo 组织
  • Vercel Labs 背书 + agent 知识分发:zero skills 把语言知识做成可喂给 agent 的 skill,配合品牌效应,4 天内拿到 4K★

局限

  • 稳定性(项目自述的核心特征):pre-1 且刻意不稳定,AGENTS.md 明确「不为兼容保留 legacy、优先更清晰的 agent-facing 设计」,语法和 API 随时 breaking change,今天的写法不值得记忆——任何依赖它的东西都会反复被打破
  • 安全风险(项目自述):README/AGENTS.md 直说「安全漏洞应在预期内」,不可用于生产、敏感数据、可信基础设施,编译器崩溃/畸形输出/不安全运行时行为都可能发生,必须隔离环境运行
  • 可扩展性 / 生态风险:作为全新语言,标准库再宽也远不及成熟语言生态,第三方库、IDE 支持、招聘可用性几乎为零,迁移/互操作成本高;「宽标准库」的实际覆盖广度未量化
  • 可测试性 / 有效性风险:核心假设是「agent 用这门语言比用现有语言更好」,但这个收益本身难以客观证明,evals/ 的评估方法与结果未在材料中展开,agent-first 是否真带来实质提升仍待验证
  • 可维护性风险:刻意持续重构(不留兼容层)意味着文档、示例、conformance 必须随每次语言演进同步,维护负担高;C 编译器 + TS 工具 + 自身语言三层都在动
  • 性能未知:benchmarks/ 在仓库内但 README 未给出与成熟语言的性能对比数据,pre-1 阶段性能不是重点,实际运行效率无从评估
来源:综合 README + AGENTS.md + tree + package.json

最新版本

v0.1.3(2026-05-19)。最近 4 个 release 全在创建后一周内:v0.1.0 (2026-05-16) → v0.1.1 (2026-05-16) → v0.1.2 (2026-05-17) → v0.1.3 (2026-05-19)。仓库 2026-05-15 创建,仍是诞生初期、0.1.x、刻意不稳定阶段。

来源:GitHub Releases API(4 个 tag)+ repo created_at

总结评价

zerolang 是「为 AI agent 从零设计编程语言」这个前沿命题上一个认真且系统化的实验:小而规整的语言面、全 JSON 的确定性工具输出、宽标准库,配 C 编译器 + MIR 验证 + 庞大 conformance 套件。务实判断:1) 这是一个值得关注的研究性实验,不是能用来写东西的语言——README 自己反复强调 pre-1、刻意不稳定、安全漏洞预期内、不可生产,只在隔离/可丢弃环境跑;2) 它最有启发的部分是「工具输出为 agent 设计」的范式(graph/size/doctor 全 --json + 修复计划),即使不写 zerolang 也值得借鉴这个思路;3) 想参与就跑 examples、看结构化输出、用 zero skills 喂给你的 agent 试试,然后给反馈——项目就是在征集「什么对 agent 更好」;4) 不要在它之上投入任何长期资产,语法 API 随时 breaking;5) 「agent-first 是否真带来实质收益」目前无法客观证明,把它当探索而非结论。

来源:综合分析
透明度声明
本页内容由 AI(大语言模型)基于以下公开材料自动生成:GitHub README、代码目录结构、依赖文件、Release 信息。 分析时间: 2026-05-22 09:51. 质量评分: 100/100.

数据来源:README、GitHub API、依赖文件