← Back to Topics
🎭
Type-State Programming
State machines in types, builder pattern, phantom types
3 Patterns
3 Interactive
1 Live Demos
State Machines in Types
advanced
Compile-time state validation
🎮 Playground
⚡ Live Demo
typestate
state-machine
+1
Builder with TypeState
advanced
Enforcing build order at compile time
🎮 Playground
builder
typestate
+1
Phantom Types
advanced
Zero-runtime-cost type information
🎮 Playground
phantom
zero-cost
+1