Skip to content
Menu
Tyu
Search
Search docs
Documentation navigation
The Book
Search
Part I — Philosophy and the Medium
Part I — Philosophy and the Medium
1. The Rigor Is the Engine
2. First Words
Part II — The Disciplines
Part II — The Disciplines
3. Types: Making Illegal Values Unrepresentable
4. Contracts: Promises the Machine Reads
5. Effects and Capabilities: The Two-Sided Law
6. The Stack Has a Shape
7. Places, Borrowing, Ownership
8. Touching Hardware: MMIO
Part III — Design and Style
Part III — Design and Style
9. Factoring: Style Becomes Proof
10. Decomposition: Information Hiding, Enforced
11. Shared State and the Cross-Context Rule
12. Tasks and Channels
Part IV — The Daring Parts
Part IV — The Daring Parts
13. Field Updates on Untrusted Media
14. Epilogue: Tyu's Effect on Thinking
Appendices
Appendices
A. Language Reference
B. Error and Trap Registry
C. Toolchain Setup
D. Style Summary
Docs
Docs