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

إليك دالة identity بشكل صحيح — كـ generic function:

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

الرمز <T> بعد اسم الـ function يعلن عن type parameter — وهو عنصر نائب يمثل "نوعًا ما، يتحدد عند كل call". داخل التوقيع (signature) تستخدم T تمامًا مثل type حقيقي: الـ parameter هو T، والـ function ترجع T.

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

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