المشكلة التي تحلها الأنواع المعممة

تخيّل أنك تحتاج إلى دالة تعيد ببساطة أي قيمة تمرّرها إليها: دالة هوية. بالأنواع التي تعرفها حتى الآن، لديك خياران، وكلاهما مزعج.

الخيار الأول: اكتب نسخة منفصلة لكل نوع. الأجسام متطابقة؛ والاختلاف الوحيد هو التعليقات التوضيحية:

local function echoNumber(value: number): number
    return value
end

local function echoString(value: string): string
    return value
end

كل نوع جديد يعني نسخة أخرى، وأي خطأ يُصلَح في إحداها يجب إصلاحه في جميع النسخ. وهذا بالضبط هو التكرار الذي تكتب الدوال لتجنّبه.

الخيار الثاني: اجمعها في دالة واحدة ذات نوع any:

local function echo(value: any): any
    return value
end

الآن تتعامل دالة واحدة مع كل شيء، لكنك دفعت ثمن ذلك من أمان الأنواع. عندما تستدعي echo("hello")، لن يعود المدقّق يعرف أن النتيجة سلسلة نصية. فهو لا يعرف سوى any، لذا يتوقف الإكمال التلقائي عن العمل وتمرّ أخطاء الأنواع دون ملاحظة: تضيع الصلة بين ما دخل وما خرج.

ما تريده حقًا هو دالة تعمل مع كل نوع وتتذكر النوع الذي استخدمه كل استدعاء. وهذا بالضبط ما تمنحك إياه الأنواع العامة، وهي موضوع هذا الفصل.