Language Feature Index

This page is a topical index. The main book teaches the same material in a progressive order.

Program Structure

• Source execution and main
• Bindings and lexical scope
• Modules, imports, and the source prelude
• The standard library

Expressions and Control Flow

• Expressions, produced values, suppression, and blocks
• Conditionals and flow chains
• Optional values and type narrowing
• Errors and exception values, safe navigation, and propagation
• Loops, iterator conditions, and multiiterators
• Ranges, bounds, membership, and slicing

Functions

• Function literals, contracts, calls, defaults, and argument kinds
• Static overloads
• Function values and composition
• Effects

Values and Data

• Value semantics and explicit places
• Strings, graphemes, interpolation, and representation views
• Arrays and other containers
• Structural objects and constructors

Types and Operations

• Type inference, numeric types, unions, and aliases
• Numeric bases and packed based strings
• Operators, juxtaposition, conversion, and precedence
• Refinement types
• Physical dimensions and units

Features with provisional design or incomplete compiler support are catalogued separately in Language Design and Compiler Support, so implementation status does not obscure this index.