HackerTube / Video
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
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.
Referenced in static versus dynamic typing debates, including his remark that Hindley-Milner doesn't really work.
3 Hacker News mentions · 2016–2021