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

تصبح المعممات (Generics) مفيدة للغاية بمجرد إشراك الجداول. أنت تكتب بالفعل مصفوفات محددة النوع مثل {number} أو {string} — وداخل الدالة المعممة، يمكن أن يكون نوع العنصر بباصلة T، ويدل {T} على "مصفوفة من أي نوع يتبين أن T يمثله".

إليك المثال الكلاسيكي — جلب العنصر الأول من أي مصفوفة:

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

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

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