Flow

A static type checker for JavaScript