בטיחות nil במצב strict

הקריסה הנפוצה ביותר ב-Lua היא "attempt to index nil": קוד שהניח שערך קיים, אף שהוא לא היה קיים. התשובה של Luau היא משמעת לגבי nil: תחת --!strict, string רגיל לעולם לא יכול להיות nil. אם nil הוא אפשרות ממשית, הטיפוס חייב לציין זאת באמצעות ?:

--!strict
local nickname: string? = nil   -- תקין: string או nil
local username: string = nil    -- ✗ שגיאת טיפוס במצב strict

המשמעת פועלת בשני הכיוונים: אם יש לך string?, מצב strict לא יאפשר לך להשתמש בו כמחרוזת עד שתשלול את האפשרות שהוא nil. הכלי המקובל הוא השוואה פשוטה, שמצמצמת את הטיפוס בדיוק כמו בדיקת typeof:

local function shout(name: string?): string
    if name ~= nil then
        return string.upper(name) -- name הוא מחרוזת כאן
    end
    return "NOBODY"
end

כש-nil יהיה באג ולא מקרה תקין, השתמשו ב-assert: אחרי assert(x ~= nil), הבודק מתייחס אל x כאל ערך שאינו nil עד סוף תחום הגישה, ובזמן ריצה ה-assert קורס מוקדם, בדיוק במקום שבו ההנחה שגויה, במקום במקום כלשהו הרחק משם.

התוצאה: הבודק מחייב לטפל בכל ערך ש״עשוי להיות חסר״ בזמן העריכה, ושגיאת זמן הריצה פשוט לא מתרחשת.