ТайпСкрипт оно то хорошо, но не понятно, почему все так на этой типизации помешались. И на дженериках. Как послушать - так везде нужна типизация, а где есть типизация - то везде нужны дженерики. Го он жил себе, жил - нет, наныли дженерики. В ПХП ноют про дженерики и типизацию. Как прям спасение от всех бед. При том, что к примеру чат реакта чуть более чем полностью состоит из нытья на тему "как затипизировать сраное что-то...". В Питоне и Руби тоже уже началось?
Это неизбежно. В голове человека много не помещается, нужно переложить часть работы на комп. Типизация одно из средств для этого. Чтобы знания были не в голове, а описаны в типах, а потом проверены в рантайме, или стат анализом.