Что такое literal types в TypeScript?

Literal types — это типы, которые допускают только конкретное значение: type Direction = "up" | "down" | "left" | "right". Переменная с таким типом может быть только одним из этих значений. const создаёт literal type автоматически: const x = "hello" имеет тип "hello", не string. Literal types в сочетании с union типами заменяют enum и дают строгую проверку — если передашь "diagonal", TS выдаст ошибку на этапе компиляции.