Seguridad frente a nil en modo estricto

El error más común de Lua es "attempt to index nil": código que suponía que un valor existía cuando no era así. La respuesta de Luau es la disciplina de nil: con --!strict, una string simple nunca puede ser nil. Si nil es una posibilidad real, el tipo debe indicarlo con ?:

--!estricto
local nickname: string? = nil   -- válido: string O nil
local username: string = nil    -- ✗ error de tipo en modo estricto

La disciplina funciona en ambos sentidos: si tienes una string?, el modo estricto no te dejará usarla como cadena hasta que hayas descartado nil. La herramienta habitual es una comparación simple, que acota el tipo igual que una comprobación con typeof:

local function shout(name: string?): string
    if name ~= nil then
        return string.upper(name) -- name es de tipo string aquí
    end
    return "NOBODY"
end

Cuando nil sería un error en lugar de un caso válido, usa assert: después de assert(x ~= nil), el verificador trata x como distinto de nil durante el resto del ámbito y, en tiempo de ejecución, la aserción provoca un error de inmediato, justo donde se incumple la suposición, en lugar de hacerlo en algún lugar muy alejado.

La ventaja: el verificador te obliga a gestionar cada valor que «podría faltar» mientras editas, y el error de ejecución simplemente no ocurre nunca.