טיפוסים ליטרליים

טיפוסים כמו 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 מחליפה את הטיפוסים המנויים של שפות אחרות, כפי שתראו בפרק מאוחר יותר.