Tipos literales

Tipos como string permiten cualquier cadena, pero a veces solo tienen sentido unos pocos valores exactos. Un tipo literal usa el propio valor como tipo:

local mode: "dark" = "dark"   -- solo se permite la cadena "dark"
local locked: true = true      -- solo se permite el valor booleano true

Por sí solos, los tipos de un solo valor son una curiosidad. Combinados con uniones, se convierten en una de las herramientas más útiles de Luau: un conjunto de valores permitidos estrictamente controlado:

type Direction = "north" | "south" | "east" | "west"
type GameState = "menu" | "playing" | "paused" | "gameover"

local move: Direction = "north"     -- ✓
local state: GameState = "playing"  -- ✓
-- local bad: Direction = "diagonal" -- ✗ ¡error de tipo!

Ahora, un error tipográfico como "nort" o un valor no válido como "diagonal" se detecta mientras editas; con una string normal, pasaría inadvertido y provocaría un error en tiempo de ejecución, si tienes la suerte de notarlo.

Los tipos literales distinguen entre mayúsculas y minúsculas, y son exactos: "North" no coincide con "north". Los literales de cadena son el caso más común, pero los literales booleanos y (en las versiones más recientes de Luau) los numéricos funcionan del mismo modo. Este patrón, una unión de literales de cadena, también es la forma en que Luau reemplaza las enumeraciones de otros lenguajes, como verás en un capítulo posterior.