Строковые перечисления как объединения

Числа делают журналы загадочными: увидев 2, вы мало что поймёте, а увидев "down" — поймёте всё. Для понятных перечислений в Luau есть литеральные объединённые типы: тип, членами которого являются точные строки:

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

local facing: Direction = "up"    -- ✓
local typo: Direction = "upp"     -- ✗ ошибка типа при редактировании

Переменная, аннотированная типом Direction, может содержать эти четыре строки и ничего больше. Допустите опечатку — и проверяющий сразу её обнаружит: ошибка никогда не попадёт к игроку.

Во время выполнения эти значения являются обычными строками. Выводите их, объединяйте, сравнивайте с помощью ==. К ним применимо всё, что вы знаете о строках:

print(facing)            -- up
print(`facing {facing}`) -- facing up

Сравните два доступных вам теперь шаблона: таблица констант создаёт одно значение во время выполнения (UserRole), содержащее члены, а литеральное объединение вообще не создаёт значения. Таблицы Direction нет — есть только правило, которое проверяющий применяет к подходящим строкам. Описательные, понятные без пояснений значения, не требующие затрат во время выполнения, делают литеральные объединения предпочтительным стилем перечислений в коде Luau.