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.
