Flow: Fast and Precise Static Type Checking for JavaScript - Avik Chaudhuri

Workshop on Software Correctness and Reliability 2016

Flow's overall goal is to maximize developer productivity without cramping the "flow" of normal JavaScript development. On the one hand, Flow uses advanced static analysis techniques to understand common JavaScript idioms precisely. This helps it find non-trivial bugs in code and provide code intelligence to editors without requiring significant rewriting or annotations from the developer. On the other hand, Flow uses aggressive parallelization and incrementalization to deliver near-instantaneous response times. This helps it avoid introducing any latency in the usual edit-refresh cycle of rapid JavaScript development.