TypeScript это вам не просто проверка типов

Многие воспринимают TS как простой тайпчекер без какой либо семантической нагрузки, но окружающая действительность говорит мне, что здесь зарыто куда больше последствий, чем парочка несовместимых синтаксических конструкций.