Типы

A | B — значение, являющееся одним из двух, поэтому доступны лишь общие для обоих типов члены, пока вы его не сузите. A & B удовлетворяет обоим сразу, поэтому доступны члены обоих. Расширение множества значений сужает набор членов, а ограничения — расширяют.

any отключает проверку типов — он присваивается во что угодно и из чего угодно, поэтому не даёт безопасности, и его лучше избегать. unknown — это безопасный аналог: любое значение присваивается ему, но перед использованием его нужно сузить через type guard. never — это пустой тип без значений; это тип возврата функции, которая всегда бросает исключение или не завершается, и тип исчерпанного объединения.

undefined — это настоящий тип с одним значением, undefined. void — это тип возврата функции, которая завершается, не возвращая полезного значения: вызывающий должен игнорировать результат. never — это пустой тип вообще без значений; он типизирует функцию, которая никогда не завершается нормально (всегда бросает исключение или зацикливается), и помечает исчерпанные ветки. То есть void ничего полезного не возвращает, а never не возвращается вовсе.

У литерального типа ровно один обитатель — одно конкретное значение: 'a', 42 или true. 'a' | 'b' допускает ровно эти две строки, а string — любую. Поэтому компилятор отвергает опечатку 'c' прямо в месте вызова, ещё на этапе компиляции.

unknown — безопасный верхний тип: ему присваивается любое значение, но само оно — ничему. Его нельзя вызвать, проиндексировать или прочитать у него свойство, пока не сузите через typeof, instanceof или type guard. any разрешает всё это без проверки.

enum задаёт именованный набор связанных констант. Числовые enum автоматически присваивают 0, 1, 2…, начиная с первого члена, а строковые enum принимают явные строковые значения. Его используют, чтобы заменить магические числа или строки читаемыми именами и сгруппировать связанные варианты, например HTTP-методы или статусы. Числовой enum создаёт runtime-объект с обратным отображением (значение → имя); строковый читается яснее в выводе, но обратного отображения не имеет.

Кортеж фиксирует и длину, и тип на каждой позиции: t[0] — это string, а t[1] — number. У (string | number)[] длина не фиксирована, каждый индекс типизирован объединением, и чтение требует сужения. Гарантия действует лишь при компиляции — push сработает.

В позиции типа typeof x — это запрос типа: он отдаёт статический тип, выведенный компилятором для x. Он стирается и никогда не выполняется, в отличие от оператора JavaScript, возвращающего строку. Это мост от значения в мир типов: type Cfg = typeof config.

any отключает проверки и расползается на всё, что из него получено, поэтому ошибка всплывает лишь в рантайме. unknown принимает те же значения, но не присваивается ничему, поэтому нужна проверка typeof или type guard: ошибка ловится при проверке типов.

Примитивные типы — это boolean, number (один числовой тип для целых и дробных), string, а также bigint и symbol. Коллекции представлены массивами (number[] или Array<number>) и кортежами — массивами фиксированной длины с типом на каждой позиции ([string, number]). TypeScript также добавляет enum и специальные типы any, unknown, void, never и null/undefined.

object — любое непримитивное значение, но никогда не string и не number. Object — интерфейс Object.prototype, которому удовлетворяет почти всё, включая примитивы, поэтому он бесполезен как ограничение. {} — что угодно, кроме null и undefined.

Числовой enum нумерует члены с 0 и выдаёт обратную карту: E[0] даёт 'A'. Строковый требует явного значения у каждого члена, обратной карты не выдаёт, его значения самоописательны в рантайме. Оба выдают настоящий объект, в отличие от литерального объединения.

Обычный enum компилируется в runtime-объект — лишний JavaScript, который поддерживает обратное отображение (значение → имя) и может перебираться. const enum полностью встраивается на этапе компиляции: каждое использование члена заменяется его литеральным значением, и объект не создаётся, что уменьшает вывод. Расплата — вы теряете обратное отображение и любое присутствие на рантайме, а const enum конфликтует с isolatedModules и некоторыми сборщиками, поэтому его нельзя применять там, где нужен runtime-объект.

Пересечение допускает лишь значения, удовлетворяющие обоим ограничениям, а string и number сразу не является ничто. Это пустое множество и есть never. Компилятор сворачивает его при проверке типов; объектные пересечения обитаемы, пока не конфликтует свойство.

Rest-элемент сохраняет позиции: тип [H, ...T] у prepend держит каждый индекс, а обычный массив даёт лишь T[]. Spread объектов перезаписывает, ровно как в рантайме: ключ, присутствующий в обоих, берёт тип второго объекта. Без any и без утверждения типа.