Codebase / Compiler-facing language reference

Compiler-facing language reference

Compiler changes should start from the language contract. docs/language-overview.md remains the complete reference for syntax, semantics, edge cases and deferred language surface.

Focused references

Smaller detailed references are being prepared without changing the active authority during the migration.

Foundations:

• Language basics
• Values and bindings
• Numbers
• Casts

Functions and control flow:

• Functions
• Branching
• Loops
• Errors, options and assertions

Data and compile-time construction:

• Structs
• Choices
• Collections and maps
• Templates
• Constants and compile-time behaviour

Names and static abstraction:

• Aliases
• Generics
• Traits

UI state:

• Reactivity

Projects and imported content:

• Project structure
• Packages and imports
• Moth template files
• Plain Markdown

Each route combines a Basic teaching layer with detailed Advanced references. The unsuffixed Moth template files remain replacements under parity review and do not supersede docs/language-overview.md yet.

Reference map

docs/src/docs/codebase/language/overview.mtf lists the detailed files completed so far and points back to the consolidated authority.

Related design

• Design scope: accepted mechanisms and intentionally excluded complexity
• Access and aliasing: shared reads, explicit copies and exclusive access
• Compiler design overview: stage ownership and cross-stage data flow
• Progress matrix: current implementation support and known gaps

More documentation

See All documentation for tutorials, examples and feature-focused language pages.