Segurança Nula no Modo Estrito

O crash mais comum em Lua é "attempt to index nil" — código que assumiu que um valor existia quando ele não existia. A resposta do Luau é a disciplina de nil: sob --!strict, um string simples nunca pode ser nil. Se nil for uma possibilidade real, o tipo deve declarar isso com ?:

--!estrito
local nickname: string? = nil   -- ok: string OU nil
local username: string = nil    -- ✗ erro de tipo no modo estrito

A disciplina funciona nos dois sentidos: dado um string?, o modo estrito não deixará você usá-lo como uma string até que você tenha descartado o nil. A ferramenta padrão é uma comparação simples, que afunila o tipo assim como um guard de typeof:

local function shout(name: string?): string
    if name ~= nil then
        return string.upper(name) -- name é string aqui
    end
    return "NOBODY"
end

Quando nil for um bug em vez de um caso válido, use assert: após assert(x ~= nil), o verificador trata x como não-nil pelo restante do escopo — e em tempo de execução o assert falha antecipadamente, no ponto da suposição quebrada, em vez de em algum lugar distante.

A vantagem: o verificador força todo valor que "pode estar ausente" a ser tratado enquanto você edita, e o erro em tempo de execução simplesmente nunca acontece.