الأنواع اللفظية (Literal Types)

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

local mode: "dark" = "dark"   -- يُسمح فقط بالسلسلة النصية "dark"
local locked: true = true      -- يُسمح فقط بالقيمة المنطقية true

بمفردها، تُعد الأنواع ذات القيمة الواحدة أمرًا فضوليًا. لكنها تصبح، عند جمعها مع الاتحادات، إحدى أكثر أدوات Luau فائدة: مجموعة محددة بدقة من القيم المسموح بها:

type Direction = "north" | "south" | "east" | "west"
type GameState = "menu" | "playing" | "paused" | "gameover"

local move: Direction = "north"     -- ✓
local state: GameState = "playing"  -- ✓
-- local bad: Direction = "diagonal" -- ✗ خطأ في النوع!

بهذا، يُكتشف أثناء التحرير خطأ مطبعي مثل "nort" أو قيمة غير صالحة مثل "diagonal". أما مع string عادي، فستمضي القيمة دون أن تُكتشف، وقد تتسبب في خطأ وقت التشغيل، إن حالفك الحظ ولاحظته.

الأنواع الحرفية حساسة لحالة الأحرف ودقيقة: لا تطابق "North" القيمة "north". تُعد السلاسل النصية الحرفية الحالة الشائعة، لكن القيم الحرفية المنطقية والرقمية (في إصدارات Luau الأحدث) تعمل بالطريقة نفسها. وهذا النمط، أي اتحاد من السلاسل النصية الحرفية، هو أيضًا الطريقة التي تستعيض بها Luau عن التعدادات في اللغات الأخرى، كما سترى في فصل لاحق.