Каково текущее состояние проверки статического типа в JavaScript?

Я знаю, что компилятор Google Closure выполняет проверку типов, но есть ли какие-нибудь альтернативы, желательно не так тесно связанные с библиотекой и оптимизатором?

Если нет, есть ли способ, чтобы компилятор Google Closure только выполнял статический анализ?

(Под статическим анализом здесь я подразумеваю такие вещи, как определение типов для аргументов и т. Д., Что я могу выполнить чтобы предупредить меня, если я сделаю опечатку или передам неправильный тип.)