1 Language Model

The Racket Reference

1 Language Model

1.1 Evaluation Model

1.2 Syntax Model

1.4 The Printer

1.5 Implementations

top ← prev up next →

1Language Model🔗 i

1.1Evaluation Model

1.1.1Sub-expression Evaluation and Continuations

1.1.2Tail Position

1.1.3Multiple Return Values

1.1.4Top-Level Variables

1.1.5Objects and Imperative Update

1.1.6Garbage Collection

1.1.7Procedure Applications and Local Variables

1.1.8Variables and Locations

1.1.9Modules and Module-Level Variables

1.1.9.2The Separate Compilation Guarantee

1.1.9.3Cross-Phase Persistent Modules

1.1.9.4Module Redeclarations

1.1.9.5Submodules

1.1.10Continuation Frames and Marks

1.1.11Prompts, Delimited Continuations, and Barriers

1.1.13Parameters

1.1.14Exceptions

1.1.15Custodians

1.2Syntax Model

1.2.1Identifiers, Binding, and Scopes

1.2.2Syntax Objects

1.2.3Expansion (Parsing)

1.2.3.1Fully Expanded Programs

1.2.3.2Expansion Steps

1.2.3.3Expansion Context

1.2.3.4Introducing Bindings

1.2.3.5Transformer Bindings

1.2.3.6Local Binding Context

1.2.3.7Partial Expansion

1.2.3.8Internal Definitions

1.2.3.9Module Expansion, Phases, and Visits

1.2.3.10Macro-Introduced Bindings

1.2.4Compilation

1.2.5Namespaces

1.2.6Inferred Value Names

1.2.7Cross-Phase Persistent Module Declarations

1.5Implementations

top ← prev up next →