error handling semantics this section defines a structured model for categorizing error-handling strategies using a multi-dimensional tuple system. each strategy is described by the interaction of key properties such as signal form, error content, control flow, and propagation scope.
iteration, loops, and recursion this section outlines the main choices when designing loops. recursion, iteration, and higher-order forms like map or fold are interchangeable; the key is understanding when and how to use each based on termination, state, and structure.
memory ownership and transfer semantics a first-pass taxonomy using a 5-variable coordinate model.
programming paradigms: a brief overview
recursion this document outlines the main choices when designing recursive control.