Какая иерархия типов в TypeScript

В TypeScript иерархия типов строится на основе подтипов и супертипов:

1. any - верхний уровень, совместим с любым типом
2. unknown - безопасная альтернатива any, требует проверки типа
3. Примитивы: string, number, boolean, symbol, bigint, null, undefined
4. Объектные типы: object, Array, Function, классы, интерфейсы
5. never - нижний уровень, несовместим ни с чем

Пример совместимости:

let a: any = 'text';
let b: unknown = 42;
let c: string = 'hello';
let d: never = (() => { throw Error() })(); // никогда не выполнится

a = b; // OK
b = c; // OK
c = a; // OK (но небезопасно)
d = c; // Ошибка - never нельзя присвоить