أنواع التقاطع (Intersection Types)

تقول الاتحادات إن القيمة من نوع أو نوع آخر. تشير أنواع التقاطع إلى الاتجاه الآخر: فعلامة العطف & تجمع أشكال الجداول في نوع يمتلك جميع الحقول الموجودة في كل جزء:

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

type Person = HasName & HasAge

-- يجب أن يمتلك Person كلا الحقلين
local user: Person = {
    name = "Alice",
    age = 25,
}

إذا حذفت age، فسيصدر المدقّق شكوى: التقاطع يعني «و»، وليس اختيارًا من بين بدائل. يتيح لك هذا إنشاء أشكال كبيرة من أجزاء صغيرة قابلة لإعادة الاستخدام: عرّف أنواعًا مركّزة لمخاوف منفصلة، ثم اجمعها معًا حسب الحاجة:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

ملاحظة مهمة في Luau: اقطع أشكال الجداول (وأنواع function)، وليس الأنواع البدائية. شيء مثل number & string بلا معنى، إذ لا يمكن لأي قيمة أن تكون كلاهما في الوقت نفسه. عندما تريد «هذا الشكل بالإضافة إلى ذلك الشكل»، فإن & هي أداتك.

أما في وقت التشغيل، فإن Person مجرد جدول Lua عادي بالطبع: فالتقاطع موجود فقط لدى المدقّق.