TypeScript: в чём разница между типами `any`, `unknown` и `never`?

any отключает проверки, unknown представляет ещё не проверенное значение, а never — невозможное значение или отсутствие нормального возврата.

У unknown перед использованием нужны guards или валидация; any позволяет обходить эту защиту. never полезен для exhaustiveness и функций, всегда бросающих ошибку. Эти типы решают разные задачи и не являются тремя вариантами «неизвестного».