دالة هوية معممة

إليك identity function بالشكل الصحيح، على هيئة generic function:

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

إن <T> بعد اسم function يعلن عن type parameter: وهو عنصر نائب يمثّل "some type، يتم تحديده عند كل call". داخل التوقيع، تستخدم T تمامًا مثل type حقيقي: فالمعامل هو T، وfunction تُرجع T.

استخدام نفس T للإدخال والإخراج هو جوهر الفكرة. فهو يربط بينهما. عند استدعاء identity("hello")، يحدد المدقّق T = string لذلك call، ومن ثم تكون النتيجة من النوع string. وعند استدعاء identity(42)، يكون T = number، ومن ثم تكون النتيجة من النوع number. جسم واحد، وevery type، ولا شيء يضيع.

إن T مجرد اسم اصطلاحي (اختصارًا لـ "Type"): وتعمل <Item> أو <Value> بالطريقة نفسها. وكما هو الحال دائمًا في Luau، فإن الأقواس الزاوية موجودة للمدقّق فقط: وفي وقت التشغيل، تكون هذه هي Lua function العادية function identity(value) return value end.