Flow

Статический анализатор кода и набор синтаксических конструкций, для прямого указания типа переменной