Дырявое решето типов: разбираемся с отношением подтипов в TypeScript

При упоминании TypeScript представляются две категории разработчиков. Одни хвалят его за мощную систему типов, ее пользу в обеспечении корректности программ и улучшении продуктивности разработки, даже если ради этого приходится писать «трехэтажные» типы. Другие считают, что TypeScript — это лишняя сложность на проекте, он приносит с собой много проблем и в итоге снижает продуктивность, и проще совсем отказаться от типов и писать код с применением других известных «лучших практик».

Очевидно, что при всей своей популярности TypeScript имеет проблемы. Разберем некоторые нюансы и компромиссы, на которые пошли разработчики компилятора. Рассмотрим способы, как избежать этих проблем и использовать TypeScript как надежный язык.

Будет полезно разработчикам на JavaScript/TypeScript среднего уровня и, возможно, старшим разработчикам и тимлидам, отвечающим за стабильность проектов с большой кодовой базой.