Literal types trong TypeScript là gì?

type Direction = 'left' | 'right' | 'up' | 'down'
type Port = 80 | 443
type Flag = true

let d: Direction = 'left'
d = 'top'    // Lỗi: không nằm trong 4 giá trị cho phép

// enum: sinh ra một object trong bundle
enum Status { Loading, Success, Error }

// literal union: bị xoá hoàn toàn khi biên dịch
type Status = 'loading' | 'success' | 'error'

const a = 'left'     // kiểu: 'left'   — literal
let b = 'left'       // kiểu: string   — bị mở rộng!

function go(d: Direction) {}
go(b)                // Lỗi: string không gán được cho Direction

let b = 'left' as const                    // 'left'

const config = { dir: 'left' } as const     // { readonly dir: 'left' }
const dirs = ['left', 'right'] as const     // readonly ['left', 'right']
type D = (typeof dirs)[number]              // 'left' | 'right' — suy ra union từ mảng