"Making Impossible States Impossible" by Richard Feldman
9 人推荐 · 跨 13 个月 · 2017–2026
中文导读
Richard Feldman 在 elm-conf 上的经典演讲。他展示了如何借助 Elm 的编译器和类型系统优雅建模，让非法状态在类型层面根本无法表达，从而从源头彻底杜绝状态相关的 Bug。
为什么 HN 推它
HN 社区常年置顶力荐的数据建模必看讲座。哪怕你不写 Elm，这套'消灭非法状态'的设计哲学能无缝迁移到任何静态强类型语言中。
「虽然整场讲座以 Elm 语言为主，但背后的架构理念适用于任何现代语言。」HN 网友原话：the talk is Elm lang focused, but the concepts still apply to other languages.
英文原摘要（HackerTube / Claude 整理）
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.
HN 上的提及
There's a great talk on this subject by Richard Feldman from Elm Conf.
Cited for making impossible states impossible via types
Here are some resources on this wonderful programming technique
Really changed how I think about programming.
Cited in discussion of typed functional programming