Skip to Content
🇫🇷 🇪🇺 Looking for experienced guidance on Lean software delivery? We'd be glad to explore how we can work together. Contact →
Advanced Software EngineeringType DesignIntroduction

Design by Types

Make Illegal States Unrepresentable, Parse Don’t Validate: using types as guardrails.

Last updated on
Total and Partial Functions: The Type's PromiseMake Illegal States Unrepresentable