"Making Impossible States Impossible" by Richard Feldman

推荐理由

the talk is Elm lang focused, but the concepts still apply to other languages.

强烈推荐terminatornet · 原文2024年4月

说明

这是2016年由elm-conf发布的一部演讲，主题归在Functional programming。它讲的是type-driven data modeling这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：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.讲法不绑某一条新闻，过几年仍然可以当材料看。从2017年到2026年，有9位不同的读者在13个不同月份把它推荐出来，其中明确叫别人去看的有5次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把type-driven data modeling变成能跟着复述的例子。

视频信息

频道

elm-conf

时长

25 分 6 秒

发布年份

2016

同主题更多

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey
• Why Isn't Functional Programming the Norm? – Richard Feldman