M05 Type Driven

The m05-type-driven skill teaches developers how to use Rust's type system to prevent invalid states and encode invariants at compile time rather than relying on runtime validation. It covers patterns like newtypes, type state, PhantomData, marker traits, and builders that allow developers to make invalid states unrepresentable. This skill is for Rust engineers building robust systems who need to shift validation logic from runtime checks to compile-time type constraints.