Fundamentals 13
- Generics: Write Once, Check Every Type
- Traits: Behavioral Contracts the Compiler Enforces
- Error Handling: No Silent Failures
- Enums and Pattern Matching: The Exhaustiveness Invariant
- Structs: Building Custom Types with Custom Invariants
- Borrowing and References: The Aliasing Invariant
- Ownership Simplified: Rust's Central Invariant
- Rust Functions: Invariants at Every Boundary
- Rust Fundamentals: Control Flow and the Branch Consistency Invariant
- Rust Fundamentals: Variables, Mutability, and the Type Invariant
- Cargo Commands: The Interface to Rust's Build Invariants
- Cargo: Rust's Package Manager and the Invariants of Reproducible Builds
- Intro to Rust: A Language Built on Invariants