Вы как-то однобоко смотрите на язык. Для сайтиков отсутствии типизации прямо сильно хорошо, там нет особо сложной логики, разработка идет быстрее
Для js-приложений, spa итд лучше, конечно, иметь какую-никакую типизацию. Уже посоветовали Flow и TypeScript. Я бы к этому списку добавил
Closure Compiler, который в плане типизации и тем более обфускации прям хорош.