4. Execution
The execution features are types, values, expressions, statements, procedures, and objects.
- 4.1. Types
- 4.2. Algebraic datatypes
- 4.3. Statements are expressions
- 4.4. Assignment and update operators
- 4.5. Operators
- 4.6. Conditionals
- 4.7. Loops and labelled exits
- 4.8. Procedures, outputs, and calls
- 4.9. Composites and objects
- 4.10. Holes and nondeterminism
- 4.11. Exceptions
- 4.12. Coroutines
- 4.13. AST reference
- 4.14. Expressions and Statements
- 4.15. Sources
- 4.16. Procedures
- 4.17. Programs