Объясните назначение типов any, unknown и never в TypeScript и разницу между ними.

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

Внешние данные безопаснее начинать с unknown и проверять. any легко распространяется по коду и скрывает ошибки. never полезен для функций, всегда бросающих ошибку, и проверки полноты разбора discriminated union. Он не равен void: void означает отсутствие используемого результата, а функция с never не возвращается нормально.