Use this index to return to the teaching chapters. The PDF contents and links provide navigation without relying on page numbers that become stale after edits.
| Term | Meaning | Read |
|---|---|---|
| ABI | Binary agreement between compiled components about calls and representations | Native libraries |
| Alias | Another access path to the same storage | Ownership |
| Array | Dense owned rectangular coordinate space | Arrays |
| Ascription | Checked type context supplied with AS; not a conversion | Generics |
| BOM | Initial byte-order mark, handled by an explicit encoding policy | Strings |
| Canvas | Owned RGBA8 image with checked drawing and codecs | Applications |
| Byte cursor | Checked position within a binary packet | Binary formats |
| Borrow | Temporary access while another value retains ownership | Ownership |
| BYREF | Exclusive writable access to caller storage | Functions |
| BYVAL | An independent writable local owner | Ownership |
| Callback | Function supplied as behavior to another operation | Generics |
| Cache | Bounded key/value working set with recency and/or expiry policy | Collections |
| Cancellation | Request to stop a task through its cleanup path | Tasks |
| Channel | Scoped typed message exchange with sender/receiver capabilities | Channels |
| Choice | A value holding exactly one declared alternative | Data types |
| Cleanup | Deterministic release of owned state | Resources |
| Closure | Function value owning independent snapshots of copyable free locals | Generics |
| Compile | Check source and produce a native artifact | Getting started |
| Coroutine | An execution that suspends/resumes with its call state | Tasks |
| Definite initialization | Proof that a value is assigned before every read | Values |
| Dictionary | Typed key-to-value collection | Collections |
| Deque | Sequence with insertion/removal at either end | Collections |
| Duration | Exact elapsed time, distinct from calendar months/days | Time |
| Display | Explicit canonical text representation of a nominal value | Generics |
| EMBED | Checked read-only value prepared from input while building | Serialization |
| Enum | Distinct integer-backed type with qualified named members | Data types |
| Error family | A checked error type and its descendants | Errors |
| Exclusive | Protected against other conflicting access | Ownership |
| FAILS | Declaration of escaping checked failures | Errors |
| FORMAT | Typed constant options attached to a declaration | Serialization |
| Generic | Operation checked for statically selected concrete types | Generics |
| Hash | Value used for collection indexing; not a cryptographic digest | Generics |
| Instant | A point on the Unix timeline | Time |
| Join | Wait for and observe a task’s retained outcome | Tasks |
| Lifetime | Interval during which storage is valid for access | Ownership |
| Lambda | Anonymous expression or block function | Generics |
| List | Ordered growable homogeneous sequence | Collections |
| LoggerHandle | Copyable access capability for a service owned elsewhere | Applications |
| LRU | Cache eviction by least recent use | Collections |
| Module | Source declarations addressed through an import alias | Modules |
| Move | Explicit ownership transfer, usually TAKE | Resources |
| NaN | Floating value unequal to every value, including itself | Values |
| Nominal | Type identity follows its declaration, not just field shape | Data types |
| Opaque | Publicly nameable type with module-controlled representation | Modules |
| Optional | NONE or SOME(payload), distinguishing absence from empty data | Data types |
| Optional fallback | Lazy ?? selection, evaluating the right side only for NONE |
Data types |
| Owner | Value responsible for keeping storage/resource alive and releasing it | Ownership |
| Period | Calendar months/days, distinct from exact elapsed Duration | Time |
| Predicate | Function returning BOOLEAN | Collections |
| Resource | Noncopyable owner with deterministic release responsibility | Resources |
| Scope | Lexical region controlling visibility and cleanup | Control flow |
| Shadowing | Explicit DIM local reusing an ordinary/BYVAL parameter name | Functions |
| SELECT | Value/choice matching or scheduler event selection, according to form | Control flow , Channels |
| Set | Unique typed members with coherent equality/hash | Collections |
| Slice | Independent selected subsequence, using half-open bounds | Collections |
| Snapshot | Independent value captured at a defined evaluation point | Ownership |
| SPAWN | Start a task with checked argument snapshots/transfers | Tasks |
| Static type | Type known and checked before running | Values |
| Suspension | Parking execution until work/event/readiness permits resumption | Tasks |
| TAKE | Explicit transfer making the source unavailable | Resources |
| Task | Owned execution with success/error/cancellation outcome | Tasks |
| TTL | Expiry interval since the cache entry’s most recent write | Collections |
| Type graph | Finite declared-type descriptors with graph-local references | Serialization |
| Unicode scalar | A text position unit, different from bytes and graphemes | Strings |
| Unsafe | Explicit authority for operations whose foreign obligations need review | Native libraries |
Learning routes
For a command-line utility, read chapters 1-13, then 16, 17 and 22. For a network service, add 14-15 and 19. For a desktop application, learn ownership and errors before the GUI material in 22. For native binding work, read 9-13 and 23, then the exact foreign and adapter contracts linked there.