Zero 语言规范

版本: 0.1.0
最后更新: 2025-10-18

---

简介

Zero 是一种简洁、现代的编程语言，专注于易学性和实用性。本仓库包含 Zero 语言的完整规范文档。

设计目标

• 简洁的语法
• 静态类型推断
• 明确的语义
• 易于学习和使用

快速开始

// Hello World
print("Hello, Zero!");

// 变量和函数
let x = 42;
fn add(a, b) {
    return a + b;
}
print(add(x, 8));

---

文档结构

本规范文档按照以下结构组织：

核心规范

• 词法规范 - 词法单元、标识符、字面量、关键字
• 语法规范 - EBNF 形式化语法定义
• 类型系统 - 类型定义、类型推断、类型检查
• 运算符 - 运算符定义、优先级、结合性
• 表达式 - 表达式的种类和求值规则
• 语句 - 语句的种类和执行语义
• 函数 - 函数声明、调用、参数传递
• 作用域 - 作用域规则、变量遮蔽、生命周期

语义和标准库

• 语义规则 - 求值顺序、类型检查、边界行为
• 标准库 - 内置函数和标准库接口

附录

• 示例程序 - 完整的示例代码
• EBNF 语法 - 完整的形式化语法
• 错误示例 - 常见错误和反例

---

版本信息

• 当前版本: 0.1.0
• 发布日期: 2025-10-18
• 状态: 初始规范

版本历史

• 0.1.0 (2025-10-18): 初始规范发布
  • 基本类型系统（Integer, Float, String, Boolean）
  • 变量声明（let/var）
  • 控制流（if/else, while, for）
  • 函数定义和调用
  • 基本运算符和表达式

---

符合性

实现 Zero 语言的编译器或解释器应当：

1. 完全支持本规范定义的所有特性
2. 对于未定义的行为（标记为 TODO），应在文档中说明具体处理方式
3. 不应添加与本规范冲突的扩展
4. 可以添加本规范未涵盖的扩展，但应明确标记为扩展

---

贡献

本规范文档持续维护和改进。如有建议或发现问题，欢迎提出。