Использование перечислений на основе литеральных объединений

Литеральные объединения особенно полезны в качестве параметров function. Укажите параметр с объединением, и проверяющий гарантирует, что function будет вызвана только с допустимым элементом:

type Direction = "up" | "down" | "left" | "right"

local function move(direction: Direction)
    print(`Moving {direction}...`)
end

move("left")  -- ✓
move("north") -- ✗ ошибка типа: не Direction

Внутри function обработайте элементы исчерпывающим образом с помощью цепочки if/elseif. Поскольку тип ограничивает input четырьмя значениями, проверка трёх из них и передача последнего в else охватывает все варианты:

local function describe(direction: Direction): string
    if direction == "up" then
        return "Going upward"
    elseif direction == "down" then
        return "Going downward"
    elseif direction == "left" then
        return "Turning left"
    else
        return "Turning right"
    end
end

Есть один нюанс: строки, поступающие извне, например io.read(), имеют тип обычного string, поскольку проверяющий не может знать, что введёт пользователь. Изученное ранее приведение :: сообщает ему, что значение следует рассматривать как тип перечисления:

local direction = io.read() :: Direction

Приведение — это обещание, а не проверка: во время выполнения ничто не проверяет input. В production-коде сначала выполняли бы проверку; здесь же это позволяет типизированным function корректно принимать пользовательский input.