4 ms·>whole-program type inference and flow typing What do these mean?by mapcars 7y ago>whole-program type inference and flow typing What do these mean?