Что такое unknown и never в TypeScript? Чем они отличаются от any?

unknown принимает любое значение, но требует проверки перед использованием; never описывает невозможное значение, а any отключает многие проверки.

unknown удобен для внешних данных, которые затем сужают type guard. never появляется у недостижимой ветки или функции, не возвращающей управление. any позволяет обращаться к произвольным свойствам без подтверждения и распространяет потерю типовой безопасности.