פונקציית זהות גנרית

הנה פונקציית הזהות כפי שצריך, בתור פונקציה גנרית:

local function identity<T>(value: T): T
    return value
end

ה־<T> שאחרי שם הפונקציה מצהיר על פרמטר טיפוס: מציין מקום שמייצג "טיפוס כלשהו, שנקבע בכל קריאה". בתוך החתימה משתמשים ב־T בדיוק כמו בטיפוס אמיתי: הפרמטר הוא T, והפונקציה מחזירה T.

השימוש באותו T לקלט ולפלט הוא כל העניין. הוא קושר אותם יחד. קראו ל־identity("hello") והבודק יקבע T = string עבור הקריאה הזאת, ולכן התוצאה היא string. קראו ל־identity(42) ו־T = number, ולכן התוצאה היא number. גוף אחד, כל הטיפוסים, ושום דבר לא אובד.

T הוא רק שם מקובל (קיצור של "Type"): גם <Item> או <Value> מתאימים באותה מידה. וכמו תמיד ב־Luau, הסוגריים הזוויתיים קיימים רק עבור הבודק: בזמן ריצה זו פונקציית Lua רגילה function identity(value) return value end.