Sets, Sequences, and Mappings
Introduction to Aggregates
Overview of aggregate types, nesting, multi-indexing, and common operations.
Sets
Enumerated sets, set-builder notation, membership, operations, and power sets.
Sequences
Ordered sequences: indexing, slicing, sorting, modification, and iteration.
Tuples and Cartesian Products
Fixed-length tuples, Cartesian product parents, and component access.
Lists
Mutable dynamic lists and list operations.
Associative Arrays
Key-value maps with arbitrary index types.
Coproducts
Disjoint union types and access to their elements.
Records
Named-field record structures and record formats.
Mappings
Maps between sets: injections, surjections, bijections, and coercion maps.