专为 AI 代理打造的轻量级系统编程语言：Zero 正式亮相

Zero 是一款由 Vercel 实验室推出的全新开源编程语言，专为构建“AI 代理（Agents）”而生——它不是用来写网页或后端服务的通用语言，而是聚焦于编写小型、可靠、可嵌入的本地工具：比如代理的技能模块、环境感知插件、安全沙箱内的执行单元，或是边缘设备上低开销的任务处理器。它用极简的语法和确定性的行为，解决当前 AI 工具链中普遍存在的“不可控依赖、内存模糊、编译输出难审计”等痛点，让开发者真正掌控代理底层的行为边界与资源消耗。

核心功能

• 显式副作用控制：所有 I/O、网络、文件操作都必须在类型系统中明确声明，杜绝“静默调用”，让代理行为完全可追踪、可验证
• 零运行时内存管理：无 GC、无引用计数，采用栈+显式堆分配模型，内存布局完全 predictable，适合硬实时或资源受限场景
• 结构化编译输出：编译器不仅生成二进制，还能导出 JSON 格式的执行图（graph）、API 路由表（routes）、能力清单（skills）、体积分析（size）等元数据，天然适配 Agent 编排系统
• 多目标原生编译：支持一键交叉编译为 Linux musl、macOS ARM64 等精简目标，产出单文件静态二进制，无需运行时依赖，开箱即用
• 面向 Agent 的语义原语：内置 skill、route、system 等关键字，直接表达代理能力、HTTP 接口、系统交互等高层意图，代码即契约
• 内建诊断与合规验证：提供 zero doctor、zero conformance 等命令，自动检查安全性策略、接口兼容性与资源约束，降低部署风险

适合哪些人用

Zero 主要面向三类技术实践者：一是构建自主 AI 代理平台的工程师（如 LangChain、LlamaIndex、AutoGen 生态的深度使用者），需要可验证、可嵌入、可审计的技能模块；二是边缘计算与 IoT 场景下的系统开发者，追求极致启动速度与内存确定性；三是编程语言爱好者与教育者，想探索“无 GC 的现代系统语言如何兼顾安全与表达力”。它不适合 Web 前端开发或传统企业级应用开发，但对“让 AI 真正可控地落地执行”这一前沿命题，提供了极具启发性的技术路径。

快速上手

只需两步即可体验 Zero 的核心流程：

1. 安装：在终端中运行 curl -fsSL https://zerolang.ai/install.sh | bash，然后将 $HOME/.zero/bin 加入 PATH
2. 运行示例：执行 zero run examples/add.0，你会立刻看到输出 math works —— 这是一个仅 10 行代码、不依赖任何外部库的加法工具
3. 进阶尝试：用 zero routes --json examples/web/hello 查看一个微型 HTTP 服务的路由定义；或用 zero skills get zero --full 获取当前 Zero 编译器自身暴露的能力清单，感受“语言即代理”的设计哲学

项目信息

编程语言：C（编译器实现）｜ Star 数：809｜ 开源协议：未在 README 明确声明（建议使用前查阅仓库 LICENSE 文件）｜ GitHub 项目地址

如果你正在寻找一种能让 AI 代理“既聪明又守规矩”的底层表达方式，Zero 绝对值得你花 15 分钟安装并跑通第一个 .0 文件——它不是另一个 Rust 克隆，而是一次针对智能体时代重新思考“系统语言”的勇敢实验。