What is Type-Driven Design in Rust?

Type-Driven Design is an approach where you use Rust's expressive type system to enforce business rules, ensuring that many categories of bugs result in compiler errors rather than runtime crashes.

When should I use the Newtype pattern?

Use Newtypes whenever you have primitive data (like a String or i32) that has a specific meaning, such as an Email address or a UserID, to prevent them from being accidentally swapped or misused.

How does the Type State pattern prevent errors?

It encodes the state of an object into its type. This means methods only available in specific states (like 'send' on a 'Connected' socket) literally do not exist in the code when the object is in a different state.

Does type-driven design impact performance?

Most patterns suggested by this skill, such as ZSTs (Zero-Sized Types) and Marker Traits, are zero-cost abstractions that are optimized away by the compiler, providing safety with no runtime overhead.

Rust Type-Driven Design

Name: Rust Type-Driven Design
Author: actionbook

byactionbook

•

596

•

API Development

Enforces robust software architecture by leveraging Rust's type system to make invalid application states unrepresentable at compile-time.

The m05-type-driven skill is a specialized architectural guide for Rust developers looking to move validation from runtime to the compiler. It provides structured patterns for implementing Type States, Newtypes, PhantomData, and Marker Traits to encode complex invariants directly into the type system. By following these patterns, developers can eliminate 'primitive obsession' and boolean flag-based logic, resulting in self-documenting code that prevents bugs through structural constraints rather than manual error handling.

Key Features

01Guidance on using PhantomData and Marker traits for static capability tracking

02Implementation of Type State patterns for compile-time state machine validation

03Builder pattern templates for safe and gradual object construction

04Sealed trait patterns to prevent external implementation of internal interfaces

05Newtype pattern generation to wrap primitives in semantic, domain-specific types

06596 GitHub stars

Use Cases

01Designing robust API interfaces that prevent incorrect usage by consumers

02Building zero-cost abstractions that enforce safety invariants without performance overhead

03Refactoring legacy code to replace runtime checks with compile-time type safety

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add actionbook/rust-skills m05-type-driven

For use in Claude.ai and ChatGPT

Download Skill