ユニオン型としての文字列Enum

数値は暗号のようなログを生みます。2 を見てもほとんど何も分かりませんが、"down" を見ればすべて分かります。読みやすい enum には、Luau の literal union types が適しています。メンバーが正確な文字列である type です。

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

local facing: Direction = "up"    -- ✓
local typo: Direction = "upp"     -- ✗ 編集中の型エラー

Direction で annotated された変数には、これら four つの strings のいずれかだけを格納でき、それ以外は格納できません。1 文字でも入力を間違えると、checker がすぐに検出します。bug が player に届くことはありません。

runtime では、値は plain strings です。これらを print したり、連結したり、== で比較したりできます。strings について知っていることはすべて当てはまります。

print(facing)            -- 上
print(`facing {facing}`) -- 上向き

ここまでに登場した 2 つのパターンを比較してみましょう。constant table は members を保持する 1 つの runtime value（UserRole）を作成します。一方、literal union は value をまったく作成しません。Direction table は存在せず、どの strings が適合するかについて checker が適用する rule だけが存在します。説明的で自己文書化された values を、runtime コストなしで使えるため、literal unions は Luau code における定番の enum スタイルです。