Что такое literal types и зачем они нужны?

Literal types — это конкретные значения как типы: "GET" | "POST" | "PUT" — только эти строки. 1 | 2 | 3 — только эти числа. true | false — то же что boolean. Полезны для: явного перечисления допустимых значений, discriminated unions, type-safe API клиентов. В сочетании с as const: const METHODS = ["GET", "POST"] as const — тип будет readonly ["GET", "POST"]. Это лучше enum в большинстве случаев — нет рантайм overhead.