Language Specification

The normative Logos language specification. Every rule cites the compiler source that implements it — those EVIDENCE references link straight to the code at the commit this documentation was built from. Logos-side tooling keeps the spec in step with the language.

Source references link to 7e7307e2 (main) in the Logos repository.

• Lexical Structure 39 rules
• Grammar 71 rules
• Items 189 rules
• Types & Layout 551 rules
• Expressions 675 rules
• Statements 181 rules
• Patterns 260 rules
• Traits & Generics 441 rules
• Ownership 246 rules
• Modules 93 rules
• Monomorphization 266 rules
• Metaprogramming 149 rules
• Writ 48 rules
• Deem 99 rules
• Trama 30 rules
• Divergences 497 rules
• Conformance Findings