Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond

Flow (https://flowtype.org) is a powerful type checker for JavaScript that we built at Facebook, with significant contributions from the open-source community. It is heavily used for web and mobile development at Facebook. In this talk we give an overview of the design and implementation of Flow, how it works, and how it can be adapted to do more than type checking in the future.