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

إليك دالة الهوية بالشكل الصحيح، بوصفها دالة عامة:

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.