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

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

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, потому что средство проверки не может знать заранее, что введёт пользователь. Приведение типов через ::, которое вы изучили ранее, указывает ему рассматривать значение как ваш тип перечисления:

local direction = io.read() :: Direction

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