Hacker News new | ask | show | jobs
by mapcars 2363 days ago
>whole-program type inference and flow typing

What do these mean?