Verwendung von Literal Union Enums

Literal-Unionen bewähren sich als Funktionsparameter. Typisiere einen Parameter mit der Union, und der Checker garantiert, dass die Funktion immer nur mit einem gültigen Mitglied aufgerufen wird:

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

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

move("left")  -- ✓
move("north") -- ✗ type error: not a Direction

Behandle die Mitglieder innerhalb der Funktion erschöpfend mit einer if/elseif-Kette. Da der Typ die Eingabe auf vier Werte begrenzt, deckt die Prüfung von drei Werten zusammen mit else für den letzten Wert alles ab:

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

Eine Besonderheit: Zeichenketten, die von außerhalb kommen, etwa von io.read(), werden als einfache string typisiert, weil der Checker nicht wissen kann, was ein Benutzer eingeben wird. Der zuvor gelernte ::-Cast weist ihn an, den Wert als deinen Enum-Typ zu behandeln:

local direction = io.read() :: Direction

Ein Cast ist ein Versprechen, keine Prüfung; zur Laufzeit überprüft nichts die Eingabe. Produktionscode würde zunächst validieren; hier ermöglicht er es typisierten Funktionen, Benutzereingaben problemlos zu akzeptieren.