Kesişim Tipleri (Intersection Types)

Birleşim türleri, bir değerin bir tür ya da başka bir tür olduğunu söyler. Kesişim türleri ise ters yönde çalışır: ve işareti &, tablo biçimlerini birleştirerek her parçadaki tüm alanlara sahip bir tür oluşturur:

type HasName = { name: string }
type HasAge = { age: number }

type Person = HasName & HasAge

-- Bir Person, her iki alana da sahip olmalıdır
local user: Person = {
    name = "Alice",
    age = 25,
}

age alanını dışarıda bırak, tür denetleyicisi hata verir: kesişim bir "ve"dir, asla istediğini seçebileceğin bir seçenek değildir. Bu, küçük ve yeniden kullanılabilir parçalardan büyük biçimler oluşturmanı sağlar: ayrı konular için odaklanmış türler tanımla, sonra gerektiğinde bunları bir araya getir:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

Luau hakkında önemli bir not: ilkel türleri değil, tablo biçimlerini (ve işlev türlerini) kesiştir. number & string gibi bir ifade anlamsızdır; çünkü hiçbir değer aynı anda her iki türde birden olamaz. "Şu biçime ek olarak bu biçim" istediğinde kullanacağın araç & işaretidir.

Elbette çalışma zamanında bir Person, sıradan bir Lua tablosundan ibarettir: kesişim yalnızca tür denetleyicisi için vardır.