статистический аргумент тоже не слишком силен. Цитируют исследование, в котором сравниваются совершенно разные языки, и С++, и джаву, руби, и js, и питон, и пых. Ну а сравнивать пых-кодеров с плюсовиками - как-то даже смешно, распределение идиотов в этих сообществах совершенно разное. Тут бы помогло исследование сравнивающее именно TS с JS.
Типизация крута из-за понимаемости. Когда в аргументы метода приходит конкретный тип, то ты всегда можешь перейти в него и посмотреть как он устроен, какие у него есть поля, сигнатуры, какие интерфейсы он имплементирует. Таким образом работа с чужим кодом избавляется от магии.