elm-conf
9 HN recommenders · recommended in 17 months, 2017–2026
25:06 · 63K views · Sep 19, 2016
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.
HN repeatedly recommends it as a talk that changed how people model data, with ideas that apply well beyond Elm to any typed language.
19 comments from Hacker News
The type system is a lot more expressive than the ones found in Java/C#/C++, thanks to Algebraic Data Types. Yaron Minsky (Jane Street, largest OCaml user) coined the term "make invalid states unrepresentable" to explain how ADTs help in enlisting the help of the compiler to help us express our intent correctly, and Richard Feldman (NoRedInk, largest Elm user) has given an absolute gem of a talk that dives into that idea with relatable, concrete examples. It is titled "Making Impossible States Impossible" and should clarify this concept nicely. this video
highly recommend the talks "making impossible states impossible" and "make data structures" by richard feldman. this video [LINK] the talks are geared towards elm but I think they offer some great advice applicable to programming in general.
one of my favorite talks on this topic, "Making Impossible States Impossible" by Richard Feldman: this video the talk is Elm lang focused, but the concepts still apply to other languages.
Making impossible states impossible" by Richard Feldman: this video has really changed the way I approach dealing with data in my code and was very insightful.
"Making Impossible States Impossible" by Richard Feldman this video Really changed how I think about programming.