ZeroLang(项目名 Zero)不是给程序员写的传统编程语言,而是 Vercel 实验室专门为 AI 智能体(Agent)设计的下一代编程语言。它把“被智能体理解、学习和调试”作为第一设计目标——语法极简、反馈结构化、标准库开箱即用,让大模型无需反复查文档、装依赖、猜错误,就能真正“读懂代码、改对代码、跑通逻辑”。它解决的不是人类写代码慢的问题,而是当前 AI 编程中普遍存在的“幻觉调用”“依赖黑洞”“错误黑盒”和“修复无从下手”等核心痛点。
核心功能
- 智能体原生语法:全语言表面控制在极小范围内(如仅支持函数、模式匹配、声明式数据流),所有语法规则高度正则化,便于大模型通过少量示例+编译反馈快速归纳掌握,而非死记硬背。
- 结构化诊断输出:编译器不只报错,而是生成 JSON 格式的可解析事实图谱——包括变量溯源链、控制流路径、依赖调用树、潜在修复建议等,让 AI 能像读说明书一样“看懂报错”并自主决策。
- 深度内建标准库:HTTP 客户端、JSON/YAML 处理、时间计算、文件系统操作、基础加密、网络工具等高频能力全部内置且接口统一,90% 的 Agent 任务无需引入第三方包,彻底告别
npm install式依赖焦虑。 - 确定性工具链:格式化(
zero fmt)、检查(zero check)、运行(zero run)、分析(zero inspect)等命令全部输出机器可读结构化结果,支持无缝接入 LLM 工作流做自动修复或性能优化。 - 实时学习友好设计:语言本身支持“渐进式执行”与上下文感知提示,例如允许先写骨架再由 Agent 基于类型提示自动补全细节,降低一次性写出完整正确代码的认知负担。
- 沙箱优先安全模型:默认禁用系统调用、网络外连与文件写入,所有 I/O 需显式授权;配合隔离运行时,天然适配 Agent 在不可信环境中的安全执行场景。
适合哪些人用
如果你是:
✅ 正在构建 AI Agent 应用(如自动化客服、研究助手、智能运维机器人)的研发者;
✅ 关注“AI 编程闭环”的技术负责人或架构师;
✅ 研究编程语言与大模型协同机制的科研人员;
✅ 或希望深入理解“Agent-first 工程范式”的前沿开发者——
ZeroLang 就是你值得投入一小时体验的实验性利器。它不适合追求稳定生产部署的项目,但非常适合探索“当代码真正为 AI 而写”会带来怎样的范式跃迁。
快速上手
目前 ZeroLang 尚未发布正式安装包,推荐通过源码快速体验:
- 克隆仓库:
git clone https://github.com/vercel-labs/zerolang - 进入目录并构建(需 C 编译器):
cd zerolang && make - 运行示例:
./zero run examples/hello.zro(查看examples/目录下的多个 Agent 场景脚本) - 获取结构化诊断:
./zero check examples/api_call.zro --json,将输出供 LLM 解析的完整事实图谱
⚠️ 注意:请务必在虚拟机或 Docker 容器等隔离环境中运行,切勿处理敏感数据或连接生产服务。
项目信息
The programming language for agents
3.4k
Stars
195
Forks
C
Apache-2.0
编程语言:C|GitHub Star 数:3371|开源协议:Apache-2.0|GitHub 项目地址
这是一次大胆而清醒的语言实验:不求立刻取代 Python 或 JavaScript,而是率先为 AI 智能体建造一座“可理解、可调试、可进化”的代码新大陆。


