语言规范

yaoxiang 语言的语法和语义规范文档。

目录

• 语法规范 - 词法结构、语法规则、运算符优先级
• 类型系统 - 基本类型、复合类型、泛型、trait
• 模块系统 - 模块定义、导入导出、作用域
• 并发模型 - {} 块语义、spawn 并发原语、错误处理、资源类型
• 标准库 - 核心库、IO库、数学库

概述

本规范定义了 YaoXiang 编程语言的核心语法和语义。它是语言的权威参考，面向编译器和工具实现者。

规范结构

1. 语法规范：定义语言的词法结构、语法规则和运算符优先级
2. 类型系统：定义语言的类型系统，包括基本类型、复合类型、泛型和 trait
3. 模块系统：定义语言的模块系统，包括模块定义、导入导出和作用域
4. 并发模型：定义语言的并发模型，包括异步编程、并发原语和内存模型
5. 标准库：定义语言的标准库，包括核心库、IO库和数学库

版本信息

• 当前版本：v1.8.0
• 状态：规范
• 作者：晨煦
• 最后更新：2026-02-22

相关资源

• YaoXiang 指南 - 教程和示例代码
• 设计文档 - 语言设计文档
• RFC 文档 - 语言变更提案