Что такое типы any, unknown, never и void в TypeScript? В чём их разница?

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

unknown полезен на границе с недоверенными данными: перед операциями требуется проверка. never появляется у всегда бросающей функции и при исчерпывающем анализе union. void не равен «функция обязана возвращать только undefined»: в callback-контракте допускается игнорирование фактически возвращённого значения.