Flow

A Static Type Checker for JavaScript

http://flow.org