Enforce Rust domain invariants at compile time using type-driven design patterns.
npx skills add https://github.com/huiali/rust-skills --skill rust-type-driven
Please help me install this Agent Skill. Skill: rust-type-driven Source: https://github.com/huiali/rust-skills/tree/main/.codex/skills/rust-type-driven Command: npx skills add https://github.com/huiali/rust-skills --skill rust-type-driven
This Skill helps Rust developers prevent runtime errors by encoding domain-specific rules and invariants directly into their types, making invalid states unrepresentable and ensuring compile-time safety.
UserId vs. OrderId).UserId and OrderId by using distinct UserId and OrderId newtypes, ensuring type safety at compile time.Use the rust-type-driven skill to demonstrate the newtype pattern for user and order IDs in Rust.
High-intent search queries and answers about installing and using this skill.
Using the newtype pattern prevents mixing UserId and OrderId in Rust by creating distinct types for values with the same representation but different semantics, ensuring type safety at compile time.
The type state pattern in Rust encodes state machines where transitions are enforced by the type system, making invalid states unrepresentable and preventing invalid operations at compile time.
Build complex Rust objects with compile-time guarantees by applying the builder pattern with type state, which constructs objects ensuring all required fields are initialized before use.
Use PhantomData and zero-sized types (ZST) in Rust when you need to mark ownership and variance for zero-cost abstractions or use compile-time markers without incurring any runtime cost.
Encoding domain invariants in Rust types eliminates runtime error classes by addressing type confusion, invalid state transitions, and uninitialized configurations through type-driven design patterns.
The best way to make invalid states unrepresentable in Rust is type-driven design, utilizing newtypes, marker traits, and builder patterns to enforce domain invariants directly within the type system.
fjrevoredoDesign Rust code with newtypes and type state to enforce compile-time invariants.
Design-System-ETWrite, review, and debug idiomatic Rust code with memory safety enforcement.
jmdueaEncode Rust type system constraints to eliminate invalid runtime states.
CallMeLuigiv2Encode compile-time invariants using newtypes, type-state patterns, and sealed traits.