tag
m05▌
2 indexed skills · max 10 per page
skills (2)
m05-type-driven
actionbook/rust-skills · Productivity
Layer 1: Language Mechanics
m05-type-driven
zhanghandong/rust-skills · Productivity
Compile-time state validation through type encoding, eliminating invalid states at the type level. \n \n Covers six core patterns: newtype for type-safe primitives, type state for state machines, PhantomData for variance tracking, marker traits for capability flags, builders for gradual construction, and sealed traits for closed impl sets \n Emphasizes asking \"can the compiler catch this?\" before adding runtime validation, with decision guides mapping common needs to appropriate patterns \n In