TypeScript

Коротко: Надмножество JavaScript, разработанное Microsoft и добавляющее статическую типизацию.

Подробнее: Компилируется («транспилируется») в обычный JavaScript, поэтому работает везде, где работает JS. Компилятор до выполнения проверяет, согласуются ли типы (например, вызывается ли функция с правильными типами параметров), и ловит много ошибок ещё при компиляции.