An evidence-first field guide to Rust
Stop memorizing.
Start predicting.
Learn ownership, types, and concurrency by reading what the compiler proves.
- 15
- focused chapters
- 90
- compiler-checked snippets
- 0
- external Rust crates
Edition 1.0 · 2026Every lesson starts with a tiny program and one question:
What will Rust do?
Predict. Compile. Read the evidence. Then refine the mental model.
The complete route
From first binding
to unsafe boundary.
01Values, Bindings, and MutabilityRead chapter →
02Ownership and MovesRead chapter →
03Shared and Mutable BorrowingRead chapter →
04References, Scopes, and Non-Lexical LifetimesRead chapter →
05String and &strRead chapter →
06Structs and MethodsRead chapter →
07Enums and Pattern MatchingRead chapter →
08Option and ResultRead chapter →
09TraitsRead chapter →
10Generics and Trait BoundsRead chapter →
11Iterators and Closures: Computation on DemandRead chapter →
12Smart Pointers and Shared StateRead chapter →
13Lifetimes Are API RelationshipsRead chapter →
14Async Rust Without MagicRead chapter →
15Unsafe Rust: A Proof BoundaryRead chapter →
Commercial edition
One source.
Two reading modes.
Read the responsive edition in any browser or keep the typeset PDF offline. Both are generated from the same verified manuscript.
Get the PDF ↓