В TS отвратительная система типов
Ничего сказать не могу, не с чем сравнить по-сути. Могу лишь сказать, что были моменты, когда типы были слишком оверхедными или во всяком случае казались мне такими, но это были экзотические случаи, типа вариадик каррирования, когда я юзал костыльный хак для написания рекурсивных типов, потому что в ТС их по умолчанию нет