Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
Why Hacker News recommends it
Referenced in static versus dynamic typing debates, including his remark that Hindley-Milner doesn't really work.
What it is
Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them. It draws on his experience developing Typed Racket.
Recommended by 1 HN commenters across 1 different months, 2016 to 2021.
What Hacker News said
Recommends jhck · 2016-07 · on “Racket v6.6”
Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket; it can be found here: [this video]
Cites iLemming · 2017-10 · on “Clojure/Conj 2017 – Opening Keynote by Rich Hickey [video]”
One thing that was a personal shocker for me to hear, from not just anyone, but Matthias Felleisen himself - "My research group has investigated the topic for almost 3 decades, and we came to the conclusion that Hindley-Millner doesn't really work". I was really baffled. That was at ClojureWest 2016. Here's the talk itself [this video] . That talk is not about Clojure - Felleisen doesn't even use Clojure. That happened before Clojure.spec was announced. I couldn't really figure out what exactly he was talking about. Not until later, when I tried Spec.
Cites moocowtruck · 2021-02 · on “Nx: Multi-dimensional tensors Elixir lib with multi-staged compilation (CPU/GPU)”
how is static typing lacking evidence? don't we use that in rust to prevent the existence of large swaths of errors vs say C? i know for sure when turning on typescript for some javascript projects at work we found many issues, those all seem like wins? Why when I look at some dynamic languages say for example clojure i see stuff like type annotations in their core libraries, and then spec's to help provide a lot of what a type system can do? do you have maybe a counter argument to this fellow [this video]