domains / families / software-engineering / m05-type-driven

m05-type-driven

separate

CRITICAL: Use for type-driven design. Triggers: type state, PhantomData, newtype, marker trait, builder pattern, make invalid states unrepresentable, compile-time validation, sealed trait, ZST, 类型状态, 新类型模式, 类型驱动设计

When to use

• type state
• PhantomData
• newtype
• marker trait
• builder pattern
• make invalid states unrepresentable
• compile-time validation
• sealed trait

Skill page

Source