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

Объединения литеральных типов особенно полезны в качестве параметров функции. Укажи для параметра объединение типов, и проверяющая система гарантирует, что функцию будут вызывать только с допустимым значением из объединения:

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

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

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

Внутри функции обработай все варианты без пропусков с помощью цепочки if/elseif. Поскольку тип ограничивает входные данные четырьмя значениями, достаточно проверить три из них, а последнее обработать в 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, потому что проверяющая система не знает, что введёт пользователь. Оператор приведения типа Luau :: решает эту проблему: value :: Type указывает проверяющей системе считать значение значением этого типа. Урок «Утверждения типов» ближе к концу этого раздела подробно разбирает приведение типов; пока достаточно одной строки:

local direction = io.read() :: Direction

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