4 ms·Types Are Like the Weather, Type Systems Are Like Weathermen-Matthias Felleisen3 points by myth_drannon 11y ago