Зная не много Java, кажется там "мягкой типизации" нет (возможно, мало знаю). Как мне кажется, типы дают возможность вспомнить "что можно еще использовать", когда нужно добавить новую фичу. JS Docs - можно забыть поправить, поменять в одном месте, а в другом забыть. Плюс использовать внешние библиотеки без типизации - как по мне сложно, нужно будет чуть ли не каждую помнить, а тут все видно сразу

А если переменные "прикидывается внутрь" и мы правим что-то одно, то можно забыть, после если поменяли "сверху" - нужно все просматривать в методах ниже. Возможно даже что-то забыть, т.к. ругаться не будет

Сейчас условный webstorm может вам проинспектировать код и показать где используются не те типы. Если хочется более «сильный» язык с типами, то лучше смотреть в kotlin js. Что он, что ts оба компилируются в js, а у котлин возможностей гораздо больше