استخدام دالة معممة

أنت لا تخبر identity أبدًا بماهية T؛ إذ يستنتجه المدقق بنفسه. هذا هو استنتاج النوع: عند كل موضع استدعاء، ينظر Luau إلى الوسيط ويحل قيمة T:

local word = identity("Luau")   -- T مستنتج كـ string
local count = identity(12)      -- T مستنتج كـ number
local flag = identity(false)    -- T مستنتج كـ boolean

Each استدعاء مستقل: يمكن أن يكون T من النوع string في سطر، ومن النوع number في السطر التالي. والنتيجة المستنتجة آمنة تمامًا مثل التعليق التوضيحي المكتوب يدويًا: word هو من النوع string بالنسبة إلى المدقق، مع الإكمال التلقائي الكامل والتحقق من الأخطاء.

هناك اختلاف مهم واحد عن TypeScript: يتيح لك TS فرض النوع في موضع الاستدعاء باستخدام identity<number>(5). لا يملك Luau وسيطات أنواع في موضع الاستدعاء. ذلك السطر ليس صياغة خاصة، لذلك يقرأ Luau الأقواس الزاوية على أنها مقارنات أصغر من/أكبر من، ويفشل code. عندما تريد تحديد النوع صراحةً، علّق المتغير بدلًا من ذلك:

local count: number = identity(12)

يمكنك مشاهدة الاستنتاج أثناء عمله باستخدام أداة مألوفة: تعيد typeof اسم نوع وقت التشغيل للقيمة، لذا تطبع print(typeof(identity(12))) القيمة number: مرت القيمة عبر generic function دون أي تغيير على الإطلاق.