Domain Modeling Made Functional - Scott Wlaschin

A practical, highly regarded talk on type-driven design that applies beyond F#.

Scott Wlaschin shows how to model a business domain with algebraic types in F#, so the code reads like the domain and illegal states are unrepresentable.

Video by NDC Conferences, played through YouTube's embedded player.