Language reference

Use this section to answer a specific language question while writing a program. The guide teaches these ideas in order; the reference collects their syntax, contracts, and important limits.

Look up	Covers
Syntax and keywords	Bindings, blocks, decisions, loops, patterns, imports
Operators	Precedence, arithmetic, comparisons, logic, propagation
Types	Primitive values, annotations, products, sums, generics, interfaces
Functions	Calls, return values, closures, methods, builtins
Collections	Arrays, maps, indexing, iteration, common operations
Strings and bytes	Quotes, escapes, Unicode, transformation and conversion
Standard library	Prelude, optional values, results, protocols, memory modules

Click a recognized token in an interactive example or the playground for a short explanation and a link to the relevant section here. Context help identifies names and syntax; it does not infer the runtime type of an arbitrary expression.

This reference describes the current interpreter. For unsettled behavior, consult language status. The repository’s approved decisions record design rationale, and its conformance fixtures exercise individual behaviors.