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

تصبح الأنواع العامة مفيدة حقًا عند التعامل مع الجداول. أنت تكتب بالفعل مصفوفات ذات أنواع مثل {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 قبل استخدام النتيجة، وهذا بالضبط ما تريده من لغة ذات أنواع لاكتشاف الأخطاء.