Harfi Birlik Enum'larını Kullanma

Literal birleşimler, fonksiyon parametreleri olarak kullanıldıklarında işe yarar. Bir parametreyi birleşim türüyle türlendirdiğinde, denetleyici fonksiyonun yalnızca geçerli bir üyeyle çağrılmasını garanti eder:

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

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

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

Fonksiyonun içinde, üyeleri eksiksiz biçimde bir if/elseif zinciriyle ele al. Tür, girdiyi dört değerle sınırladığından üçünü kontrol edip sonuncuyu else bloğuna bırakmak her şeyi kapsar:

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

Bir ayrıntı daha var: dışarıdan gelen ve io.read() gibi dizeler, düz string olarak türlendirilir; çünkü denetleyici bir kullanıcının ne yazacağını bilemez. Daha önce öğrendiğin :: dönüştürmesi, değeri enum türün olarak ele almasını söyler:

local direction = io.read() :: Direction

Bir dönüştürme bir kontrolden ziyade bir vaattir; çalışma zamanında girdiyi doğrulayan hiçbir şey yoktur. Üretim kodu önce doğrulama yapardı; burada ise türlendirilmiş fonksiyonların kullanıcı girdisini sorunsuzca kabul etmesini sağlar.