3. Language specification

A program text is compiled into a function by Program.compile This chapter specifies how compilation is done.

First, a program text is analyzed as a sequence of tokens, and then parsed as an abstract syntax tree, as specified in Syntax.

The abstract syntax tree is transformed into a sequence of abstract instructions as specified in Semantics. The function compiled by Program.compile behaves as if it contains the sequence of abstract instructions.

Evaluation of abstract instructions is specified in Evaluation.

• 3.1. Syntax
  • 3.1.1. Steps of analysis
  • 3.1.2. Morphemes
  • 3.1.3. Abstract source tree
• 3.2. Semantics
  • 3.2.1. Desugaring
  • 3.2.2. Translation
• 3.3. Evaluation
  • 3.3.1. Conventions
  • 3.3.2. Initial state
  • 3.3.3. Terminal state
  • 3.3.4. Abstract instructions
  • 3.3.5. Resource error