Rust Type System

Based on Effective Rust, The Rust Reference, and The Rust Programming Language.

When to Use This Skill

• Choosing between generics (monomorphization) and trait objects (dynamic dispatch)
• Writing complex where clauses and trait bounds
• Using associated types vs type parameters
• Understanding object safety rules
• Implementing GATs (Generic Associated Types)
• Using PhantomData for type-level programming
• Encoding invariants with the type system

Generics vs Trait Objects

Generics (Static Dispatch)