Flow: A Static Type Checker for JavaScript | Flow
flow.org