טיפוסי חיתוך

איחוד מציין שערך הוא מסוג אחד או מסוג אחר. טיפוסי חיתוך פועלים בכיוון ההפוך: האמפרסנד & משלב מבני טבלאות לטיפוס שיש לו את כל השדות של כל חלק:

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: יש לחתוך מבני טבלאות (וטיפוסי פונקציות), לא טיפוסים פרימיטיביים. ביטוי כמו number & string הוא חסר משמעות, כי שום ערך לא יכול להיות משניהם בו־זמנית. כשאתם רוצים "את המבנה הזה יחד עם המבנה ההוא", & הוא הכלי המתאים.

בזמן ריצה, כמובן, Person היא פשוט טבלת Lua רגילה: החיתוך קיים רק עבור הבודק.