m05-type-driven

What problem does it solve?

C++ code often relies on primitive types (int, double) for IDs or monetary values, which can lead to accidental misuse and bugs. Type-driven design introduces strong types, phantom types, and type-state patterns to encode invariants in the type system, reducing errors and improving API safety.

Core Features & Use Cases

• Strong types to prevent mixing domains (e.g., UserId vs OrderId).
• Phantom types to encode metadata without storage.
• Type-state patterns and builders to enforce valid sequences at compile time.
• Guided API design examples for resource handles, file operations, and domain models.

Quick Start

Start by wrapping primitive IDs with small structs and define a simple builder to enforce valid construction at compile time.