שימוש בפונקציה גנרית

אתה אף פעם לא מציין ל־identity מהו T: הבודק מסיק זאת בעצמו. זוהי הסקת טיפוסים: בכל נקודת קריאה, Luau בוחנת את הארגומנט ומסיקה את T:

local word = identity("Luau")   -- הטיפוס של T הוסק כ-string
local count = identity(12)      -- הטיפוס של T הוסק כ-number
local flag = identity(false)    -- הטיפוס של T הוסק כ-boolean

כל קריאה היא עצמאית: T יכול להיות מחרוזת בשורה אחת ומספר בשורה שאחריה. התוצאה שהוסקה בטוחה בדיוק כמו הערה שנכתבה ידנית: מבחינת הבודק, word הוא string, עם השלמה אוטומטית מלאה ובדיקת שגיאות.

הבדל חשוב אחד לעומת TypeScript: ב־TS אפשר לכפות את הטיפוס בנקודת הקריאה באמצעות identity<number>(5). ב־Luau אין ארגומנטים של טיפוס בנקודת הקריאה. השורה הזאת אינה תחביר מיוחד, ולכן Luau קוראת את הסוגריים הזוויתיים כאופרטורים של קטן מ־/גדול מ־, והקוד נכשל. כשאתה רוצה לציין את הטיפוס במפורש, הוסף הערת טיפוס למשתנה במקום זאת:

local count: number = identity(12)

אפשר לראות את ההסקה בפעולה בעזרת כלי מוכר: typeof מחזירה את שם הטיפוס של ערך בזמן ריצה, ולכן print(typeof(identity(12))) מדפיסה number: הערך עבר דרך הפונקציה הגנרית ללא כל שינוי.