Кто сказал что типизированность лучше?
Зависит от задачи, но из-за слабой типизации могут происходить разного рода ошибки(которые собственно тайпскрипт тот же не допустил бы). Да и думаю, это очевидно, что зачастую строгое ограничение по типам лучше, чем полная свобода действий...
(А ещё у TS всё (вроде) ADT, там очень мощный ADT процессор, что собственно делает его ещё круче). Там в целом классно сделана алгебра типов, ТС умеет высчитывать тип-продукт на лету. Тем более, та же типизация нужна в пределах того же обработчика запросов(ибо там опять же, что-то может пойти не так). Аргументы а-ля "надо просто правильно юзать тайп-кастинг в нужных местах, да тайп-хинты(которые в жсе делаются через всяческие костыли, если это не ТС, разумеется 😁).
Если брать в целом какой-то отдельный пример ошибки, которая может возникнуть (я щас говорю про бэк, на фронте юзал тс вскольз, ибо хотелось попробовать третью вьюху с её новомодными выкрутасами и крутым саппортом тса) обрабатываешь ты условно какую-нибудь филду, тебе нужно представить обработчику данных полученные данные с филды в виде Инта, а у тебя передается стринга. Вот забыл ты указать что там должен стоять инт и зафигачить тайп хинтинг и пипец. ТС же какой-нибудь сразу задаёт тип(и тайп-кастинг там более flexible)... так что такие "несерьёзные" ошибки по невнимательности решаются уже на уровне языка...