Language Specification

The syntax and semantic specification document for the YaoXiang programming language.

Table of Contents

• Syntax Specification - Lexical structure, syntax rules, operator precedence
• Type System - Primitive types, composite types, generics, trait
• Module System - Module definitions, imports/exports, scope
• Concurrency Model - {} block semantics, spawn concurrency primitives, error handling, resource types
• Standard Library - Core library, IO library, math library

Overview

This specification defines the core syntax and semantics of the YaoXiang programming language. It serves as the authoritative reference for the language, targeting compiler and tool implementers.

Specification Structure

1. Syntax Specification: Defines the lexical structure, syntax rules, and operator precedence of the language
2. Type System: Defines the type system of the language, including primitive types, composite types, generics, and trait
3. Module System: Defines the module system of the language, including module definitions, imports/exports, and scope
4. Concurrency Model: Defines the concurrency model of the language, including asynchronous programming, concurrency primitives, and memory model
5. Standard Library: Defines the standard library of the language, including core library, IO library, and math library

Version Information

• Current version: v1.8.0
• Status: Specification
• Author: Chen Xu
• Last updated: 2026-02-22

Related Resources

• YaoXiang Guide - Tutorials and example code
• Design Documents - Language design documents
• RFC Documents - Language change proposals