المصفوفات المعممة

تصبح Generics مفيدة جدًا عند استخدام الجداول. أنت تكتب بالفعل مصفوفات typed على هيئة {number} أو {string}. داخل دالة generic، يمكن أن يكون نوع العنصر ببساطة T، و{T} تعني "array من أي شيء يتضح أن T يمثّله".

إليك المثال الكلاسيكي: جلب العنصر first من أي array:

local function first<T>(items: {T}): T?
    return items[1]
end

مرّر {string}، وسيستنتج الفاحص أن T = string، ولذلك تكون النتيجة من النوع string. مرّر {number}، وستكون number. تستبدل دالة واحدة مجموعة كاملة من النسخ الخاصة بكل نوع.

ألقِ نظرة دقيقة على نوع القيمة المُعادة: إنه T? وليس T. قد يكون array فارغًا، وعندها تكون items[1] هي nil: النوع الاختياري الذي تعرّفت إليه سابقًا يعبّر عن ذلك بصدق: "T أو nil". سيدفع الفاحص المستدعين إلى معالجة حالة nil قبل استخدام النتيجة، وهذا بالضبط اكتشاف الأخطاء الذي تريده من لغة ذات أنواع.