3. Language specification

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

• 3.1. Runtime
• 3.2. Syntax
  • 3.2.1. Steps of analysis
  • 3.2.2. Lexemes
  • 3.2.3. Abstract source tree
• 3.3. Semantics
  • 3.3.1. Desugaring
  • 3.3.2. Translation
• 3.4. Evaluation
  • 3.4.1. Conventions
  • 3.4.2. Initial state
  • 3.4.3. Terminal state
  • 3.4.4. Abstract instructions
  • 3.4.5. Resource error
• 3.5. Object system
  • 3.5.1. Values
  • 3.5.2. Variables