Assembling in Tyu ·

The book · draft v3

Assembling in Tyu

A first course in the Tyu programming language for readers who assume nothing. Fourteen chapters and four appendices; every lab real, every transcript verbatim.

Start reading Language reference

Safety is not the brake — it’s the engine. The rigor is what licenses the daring parts.

Child pages

Part I — Philosophy and the Medium

Why verification beats vigilance, and the first words of the language.

Part II — The Disciplines

The checkable practices: types, contracts, effects, stack shapes, places, and hardware.

Part III — Design and Style

Factoring, decomposition, shared state, and concurrency.

Part IV — The Daring Parts

Field updates on untrusted media, and what the language does to thinking.

Appendices

Language reference, error registry, toolchain setup, and the style summary.

Search

Search the book: interactive search with a JavaScript-free fallback.

Search

Browse the docs home

Assembling in Tyu