m05-type-driven

SKILL.md

| Pattern | Don't Just Say | Ask Instead |

| Primitive obsession | "It's just a string" | What does this value represent? | | Boolean flags | "Add an isvalid flag" | Can states be types? | | Optional everywhere | "Check for None" | Is absence really possible? | | Validation at runtime | "Return Err if invalid" | Can we validate at construction? |

| What types to create | m09-domain | What's the domain model? | | State machine design | m09-domain | What are valid transitions? | | Marker trait usage | m04-zero-cost | Static or dynamic dispatch? |

CRÍTICO: Úselo para diseño basado en tipos. Activadores: estado de tipo, PhantomData, nuevo tipo, rasgo de marcador, patrón de generador, hacer que los estados no válidos sean irrepresentables, validación en tiempo de compilación, rasgo sellado, ZST, 类型状态, 新类型模式, 类型驱动设计 Fuente: actionbook/rust-skills.

Ver original