Course

Rust Type System Wizardry

10 lessons · Rust. Start at lesson one and work through in order.

1. Zero-Sized Types
2. Advanced Typestate
3. Session Types
4. Simulating Higher-Kinded Types in Rust
5. Existential Types
6. Variance
7. Type-Level Programming
8. Sealed Traits
9. Proof Witnesses
10. Dependent Type Tricks