Union из литералов

export type Theme = "light" | "dark";

let current: Theme = "light";

current = "dark";

Теперь тип перечисляет два значения, поэтому оба присваивания допустимы. Ни одно другое значение компилятор не пропустит:

current = "blue"; // Type '"blue"' is not assignable to type '"light" | "dark"'

Почему это лучше, чем string

С типом string опечатка "lihgt" дошла бы до рантайма и в лучшем случае проявилась как «тема не переключается». С union она подсвечивается в редакторе сразу, ещё до запуска, а автодополнение показывает список допустимых значений.

Сужение и исчерпывающая проверка

У union из литералов есть приятное следствие: после проверки одного варианта компилятор точно знает, что осталось.

function label(theme: Theme) {
  if (theme === "light") {
    return "Светлая";
  }

Если позже в Theme добавится третье значение, такой код придётся дописать, и в более сложных случаях компилятор об этом напомнит. Именно на этом свойстве построены задания про сужение типов в конце курса.

Union и enum

Похожую задачу решает enum, но объединение литералов проще: оно не создаёт кода в рантайме, легко сериализуется в JSON и не требует импортировать что-то отдельное. В современном коде на TypeScript union из строковых литералов используется чаще.