Rhombus Language Model🔗ℹ

    1 Evaluation Model

      1.1 Expression Evaluation

        1.1.1 Subexpression Evaluation and Continuations

        1.1.2 Tail Position

        1.1.3 Multiple Return Values

        1.1.4 Top-Level Variables

        1.1.5 Objects and Imperative Update

        1.1.6 Garbage Collection

        1.1.7 Function Calls and Local Variables

        1.1.8 Variables and Locations

      1.2 Modules and Module-Level Variables

        1.2.1 Phases

        1.2.2 Module Redeclarations

        1.2.3 Submodules

      1.3 Module Registry

      1.4 Control Model

        1.4.1 Continuation Frames and Marks

        1.4.2 Prompts, Delimited Continuations, and Barriers

        1.4.3 Threads

        1.4.4 Context Parameters

        1.4.5 Exceptions

        1.4.6 Custodians

        1.4.7 Wills and Will Executors

        1.4.8 Memory Model

    2 Syntax Model

      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

    3 Type Model

      3.1 Role of Static Information

      3.2 Representing Static Information

      3.3 Propagating Static Information

      3.4 Annotations and Low-Level Protocol

      3.5 Bindings and Low-Level Protocol

    4 Input and Output Model

      4.1 Ports

      4.2 Encodings and Locales

      4.3 Ports Buffers and Positions

      4.4 Counting Positions, Lines, and Columns

      4.5 Filesystem Paths

        4.5.1 Unix and Mac OS Paths

        4.5.2 Windows Paths