Tier I · Concept guide
The Vision concept guide
Seven progressive pages that walk a new reader from a single-line program to the closed generic-kind surface, in the order that matches how the language is meant to be learned.
The concept guide is the first of the four documentation tiers. It is written to be read in order: each page assumes you have read the ones before it. If you are new to Vision, start at the top. If you are returning to a specific concept, jump straight to it — every page cross-links back to its neighbours and forward to the matching reference page in Tier II.
What this tier covers
Tier I teaches the language through running programs. Every page includes a compiler-checked fixture, prints exact output, and ends with a small exercise. The seven pages map onto the seven concepts a new reader needs to understand before they reach the language reference.
The seven pages, in reading order
- 01 · Your first programBuild the compiler and run a native program.
- 02 · How Vision thinksDescribed things, verbs, and visible world touches.
- 03 · Reading a Vision programWalk through one complete program from shape to output.
- 04 · Values, text, and listsScalar values, Unicode text, and ordered collections.
- 05 · Kinds, enums, and unionsNamed shapes, closed choices, and callable values.
- 06 · Safe by design: danger, failure, and memoryVisible risk, checked failure, ownership, concurrency, and host boundaries.
- 07 · Generics and monomorphizationClosed type lists and compile-time specialization.
After the guide
Tier II — the language reference — is the exhaustive, exact-shape counterpart to this guide. Every concept introduced here has a corresponding reference domain that names the precise rules, accepted types, diagnostics, and current limitations.