Enumy tekstowe jako unie

Liczby sprawiają, że logi są nieczytelne: widząc 2, niewiele się dowiadujesz, a widząc "down", dowiadujesz się wszystkiego. Do tworzenia czytelnych wyliczeń służą typy unii literałów w Luau: typ, którego elementami są dokładne ciągi znaków:

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

local facing: Direction = "up"    -- ✓
local typo: Direction = "upp"     -- ✗ błąd typu podczas edycji

Zmienna z adnotacją typu Direction może przechowywać te cztery ciągi znaków i nic poza nimi. Zrób literówkę, a kontroler typów natychmiast ją wykryje: błąd nigdy nie dotrze do gracza.

W czasie działania programu wartościami są zwykłe ciągi znaków. Wypisuj je, łącz je ze sobą i porównuj za pomocą ==. Wszystko, co wiesz o ciągach znaków, ma tu zastosowanie:

print(facing)            -- w górę
print(`facing {facing}`) -- facing w górę

Porównaj dwa wzorce, które już znasz: tabela stałych tworzy jedną wartość w czasie działania programu (UserRole) zawierającą elementy, podczas gdy unia literałów nie tworzy żadnej wartości. Nie ma tabeli Direction — istnieje tylko reguła, którą kontroler typów egzekwuje, określając, które ciągi znaków są dozwolone. Opisowe, samodokumentujące się wartości, które nie generują żadnego kosztu w czasie działania programu, sprawiają, że unie literałów są najczęściej wybieranym stylem definiowania wyliczeń w kodzie Luau.