2. Language specification

This chapter specifies the syntax and semantics of Kink programs, the runtime system and its components.

• 2.1. Runtime
• 2.2. Syntax
  • 2.2.1. Steps of analysis
  • 2.2.2. Lexemes
  • 2.2.3. Abstract source tree
• 2.3. Semantics
  • 2.3.1. Desugaring
  • 2.3.2. Translation
• 2.4. Evaluation
  • 2.4.1. Conventions
  • 2.4.2. Initial state
  • 2.4.3. Terminal state
  • 2.4.4. Abstract instructions
  • 2.4.5. Resource error
• 2.5. Object system
  • 2.5.1. Values
  • 2.5.2. Variables