Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
In brief
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.