"Making Impossible States Impossible" by Richard Feldman

FROM THE SOURCE CARD / AI-WRITTEN

What this video covers

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.

How the source describes its HN context

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

These descriptions and labels come from the original dataset’s AI-assisted curation. They are not our personal review. Check the video and the linked discussion for context.