Language reference

The precise version of the tour: syntax, types, dispatch, errors, generics, modules, and the compiler's command line.

The tour shows the language through working programs. These pages are the same material stated exactly, for looking things up rather than for reading through.

W# is Zig-flavoured, with one deliberate departure: type annotations are optional everywhere. They are checked when written and inferred when not.

• Syntax Bindings, control flow, literals, operators, and the whole surface on one page.
• Types What a value costs, what coerces into what, and what a type is made of.
• Dispatch rules How an overload is selected, when it is decided, and what an ambiguity costs.
• Errors What an error set is, how it is inferred, and what panics instead.
• Generics Written or inferred, always monomorphised.
• Modules @import, pub, re-export, and what a program pays for.
• The wsharp command run, check and build, what --emit prints, and every environment variable.