Domain Modeling in F#: Making Invalid States Unrepresentable

HN treats it as the canonical, approachable example of domain-driven design with types and 'make invalid states unrepresentable'.

Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.