talk
"Making Impossible States Impossible" by Richard Feldman
elm-conf · 9 recommenders · 13 months
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.
Why Hacker News readers recommend it: HN repeatedly recommends it as a talk that changed how people model data, with ideas that apply well beyond Elm to any typed language.
Functional programmingSoftware architecture & design#elm#type systems#make illegal states unrepresentable#functional programming#data modeling
“the talk is Elm lang focused, but the concepts still apply to other languages.”
View the original HN discussion
![William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] video thumbnail](https://i.ytimg.com/vi/OyfBQmvr2Hc/hq2.jpg)
