Documentation Map

Documentation Map

The reader documentation is mirrored into this wiki (pages below); the canonical source stays in the repo under /docs. The formal language specification is large and lives in the repo only.

Start here

Page	What it is
Tutorial	Hello-world to a real program, about an hour.
The Tycho thesis: value semantics makes implicit arenas work	The one idea, with measurements and the places it costs.
Architecture & project status	How the two compilers fit together.
From malloc to implicit arenas	The memory model, explained from C.

Language reference

The day-to-day language.

Page		Page
Tycho language reference		Subscripts (user-defined projections)
Basics		Maps
Types		Generics
Functions and closures		Concurrency
Structs and tuples		FFI (calling C)
Enums, options, and match		Packages
Arrays and slices		Builtins

Guides

Guide		Guide
Memory model in the self-hosted compiler		FFI — calling C from Tycho
Tycho aggregates: arrays & structs under value semantics		Packages & modules
Maps with arbitrary value types		corelib — Tycho's standard library
m[k] as a place: in-place map-value mutation		Performance: the self-hosted transpiler vs the C one
Generics (monomorphized)		Debugging generated C
Concurrency in Tycho

Specification

The precise semantics live in the repo: docs/spec/ — eighteen numbered chapters plus appendices (grammar, keywords, precedence, builtins, conformance, implementation-defined behavior, glossary).

Internals

Design notes and rationale, repo only: docs/internals/.