Литеральный тип

export type Theme = "light";

export const current: Theme = "light";

Тип Theme теперь допускает ровно одно значение. Любое другое присваивание становится ошибкой:

const other: Theme = "dark"; // Type '"dark"' is not assignable to type '"light"'

Почему это не бесполезный тип

Один литерал сам по себе встречается редко, но он основа для двух вещей, которые дальше в курсе будут постоянно.

Во-первых, объединения литералов: "light" | "dark" это следующее задание. Во-вторых, поля-дискриминаторы в объектах, по которым различают варианты одного union (status: "success" против status: "error").

const и вывод литеральных типов

TypeScript и сам выводит литеральные типы, но только для констант:

const a = "light"; // тип "light"
let b = "light";   // тип string

Логика простая: const переприсвоить нельзя, значит значение так и останется "light", и сузить тип безопасно. У let значение может смениться, поэтому выводится широкий string.

Из-за этого объекты ведут себя неожиданно:

const config = {
  theme: "light"
};

// config.theme это string, а не "light"

Поля объекта изменяемы, поэтому литеральный тип не выводится. Помогает as const, который делает объект и все его поля неизменяемыми и сохраняет литеральные типы:

const config = {
  theme: "light"
} as const;

// теперь config.theme это "light"