All specifications / Core language and compiler

Language

Syntax, types, expressions, effects and module semantics.

• Introduction
• Lexical Structure
• Syntax
• Type System
• Function Calls
• String Interpolation
• Pattern Matching
• Block Expressions
• Boolean Operations
• Iterators and Iteration
• Fibers and Concurrency
• Error Handling
• Algebraic Effects
• Language Flavors
• ML Flavor Syntax
• Modules and Namespaces
• Documentation Comments
• Testing Framework
• Staged effects — consolidated
• Structured Concurrency: Cancellation and Turn Isolation
• Arithmetic Effects
• Python Flavor Syntax