ClojureTV
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
About this video
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.
