https://github.com/vercel-labs/zero/blob/main/native/zero-c/src/checker.c#L939-L1366… 本世纪最伟大的代码诞生了

vercel-labs/zerolang

来源: https://github.com/vercel-labs/zerolang

zerolang

Zero 是一项实验性项目，旨在构建一种以智能体为中心的编程语言。

该项目正在探索当智能体从第一天起就成为主要用户时会发生什么变化：一种可以即时学习的语言、一套暴露结构化事实以便调试和修复的工具链，以及一个足够广泛的标准库，让大多数程序无需从依赖搜索开始。

Zero 处于 1.0 版本之前且有意保持不稳定。该项目在寻找最适合智能体的语言、库和工具模式时，会进行破坏性变更。请将今天的语法和 API 视为探索对象，而非记忆内容。如果这听起来有用，请与我们一同尝试：运行示例、检查结构化输出，并反馈哪些方式能让智能体工作得更好。

应当预期到安全漏洞。Zero 尚未准备好用于生产系统、敏感数据或可信基础设施。如果你计划运行或开发 Zero，请在隔离的、一次性环境中进行。

Zero 的目标

• 智能体优先的可学习性：一种小巧、规则的语言表面，让智能体能够通过示例、文档和编译器反馈快速掌握。
• 标准库的深度：通用能力应存在于文档完善、结构清晰的库 API 中，而非散落的依赖堆栈。
• 确定性工具链：诊断信息、图事实、规模报告、解释和修复方案应结构化到足以让智能体检查和操作。
• 直接的开发者体验：检查、运行、格式化、检查和修复代码应快速、可复制且可脚本化。
• 规范性优于语法灵活性：对多数表达方式，倾向于一种显而易见的写法，即使这会使代码比人类在其他语言中选择的写法更显冗长。

快速开始

安装最新版本：

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 check examples/hello.0
zero run examples/add.0
zero build --emit exe --target linux-musl-x64 examples/add.0 --out .zero/out/add
zero graph --json examples/systems-package
zero size --json examples/point.0
zero skills get zero --full
zero doctor --json

验证

pnpm run docs:test
pnpm run conformance
pnpm run native:test
pnpm run command-contracts

基准测试默认本地运行：

pnpm run bench