Vox Language Specification

Use this section when you need exact Vox syntax or precise semantic rules.

Chapters:

1. Source Model
2. Lexical Structure
3. Types and Declarations
4. Expressions
5. Statements and Control Flow
6. Effects and Execution

This specification describes the current Vox surface language.

Notation

Grammar examples use a lightweight EBNF style:

• quoted text means a literal token;
• A? means optional;
• A* means zero or more;
• A+ means one or more;
• parentheses group sub-productions.

Unless a chapter says otherwise, whitespace and comments may appear between tokens.