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.