►Rhombus Language Model
▼2 Syntax Model
0.45+9.0
  top  contents    up   

2 Syntax Model🔗ℹ

The syntax of a Rhombus program is defined by

  • A read pass converts characters to an intermediate abstract represented as a syntax object. This surface syntax is shrubbery notation as defined in Shrubbery Notation.

  • A parse pass processes a syntax object to produce one that is fully parsed and ready for evaluation. This parsing, in turn, interleaves expansion to trigger macro rewrites and enforestation to detect and resolve precedence among operators. The expansion and enforestation processes are extensible within Rhombus itself, so that the syntax of a Rhombus program can be customized. Binding information in a syntax object drives parsing, and when the expansion step encounters a binding form, it extends syntax objects for subexpressions with new binding information.

    2.1 Identifiers, Binding, and Scopes

      2.1.1 Binding Spaces

      2.1.2 Binding Phases

    2.2 Syntax Objects

    2.3 Parsing via Enforestation and Expansion

      2.3.1 Enforest Steps

      2.3.2 Expand Steps

    2.4 Expansion Binding

      2.4.1 Transformer Bindings

      2.4.2 Local Binding Context

      2.4.3 Partial Expansion

      2.4.4 Internal Definitions

      2.4.5 Module Expansion, Phases, and Visits

      2.4.6 Macro-Introduced Bindings in the Top Level

    2.5 Evaluators

    2.6 Compilation

  top  contents    up