Tipos de União

Às vezes, um tipo não é suficiente. Um ID de usuário pode chegar como "user123" ou como 42. No Lua puro, você simplesmente torceria para dar certo; o Luau oferece tipos união: o pipe | significa "ou":

local userId: number | string

userId = "user123"  -- ✓ uma string é permitida
userId = 42          -- ✓ um number é permitido
userId = true        -- ✗ erro de tipo: boolean não está na union

A variável pode conter qualquer um dos membros da união, e somente esses. Essa é a diferença crucial em relação a any: uma união continua sendo rigorosa sobre o que é permitido, ao mesmo tempo que oferece a flexibilidade de que você precisa.

Uniões são especialmente úteis para parâmetros de funções que aceitam vários formatos de entrada:

function printId(id: number | string): ()
    print(id)
end

printId(42)          -- funciona com um número
printId("user123")   -- funciona com uma string

Você já conhece string?. Essa foi sua primeira união! Ela é simplesmente uma forma abreviada de string | nil. Na próxima lição, você aprenderá a trabalhar com segurança com um valor de união depois que tiver um.