Making Impossible States Impossible with Elm's Types

HN repeatedly recommends it as a talk that changed how people model data, with ideas that apply well beyond Elm to any typed language.

Richard Feldman's elm-conf talk on designing models so that bugs from impossible application states cannot occur, using Elm's compiler and types. It demonstrates techniques for making invalid states unrepresentable.