Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen

Why it was recommended

Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket

Recommendationjhck · Original2016-07

What it covers

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. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

ClojureTV

Length

1 hr 15 min

Year

2016

More in this topic

• How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
• Why Isn't Functional Programming the Norm? – Richard Feldman
• Maybe Not - Rich Hickey
• Conway's Game Of Life in APL
• Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
• Crockford on JavaScript - Volume 1: The Early Years