Segurança Nula no Modo Estrito

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

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

A disciplina funciona nos dois sentidos: dado um string?, o modo estrito não permitirá que você o use como uma string até que tenha descartado nil. A ferramenta padrão é uma comparação simples, que faz a restrição assim como uma verificação com typeof:

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

Quando nil seria um erro, em vez de um caso válido, use assert: depois de assert(x ~= nil), o verificador trata x como não nulo pelo restante do escopo e, em tempo de execução, o assert falha imediatamente, no ponto da suposição incorreta, em vez de em algum lugar distante.

O benefício: o verificador obriga você a tratar todo valor que "pode estar ausente" enquanto edita, e o erro de tempo de execução simplesmente nunca acontece.