ocaml Featured How to build type-safe State Machines using type-state Tired of writing state machines full of invalid transitions? Type-state may be what you're looking for. In this issue of Practical OCaml we show you how to use it to build type-safe state machines.
domain modeling Featured A quick guide to GADTs and why you ain't gonna need them Ever wanted to use a GADT but did not know if you really needed them? You probably don't. And here's why.
ocaml How I explore domain problems cheaply and fast with OCaml: modeling a web router You've heard of Domain-Driven Design, now buckle up for Type-Driven Domain..wait. Typed Domains Driving...nevermind. We're gonna use Only Types to Understand our Domain Problems Very Fast! 🚀
