Tipos de União

Às vezes, apenas um tipo não é suficiente. Um ID de usuário pode chegar como "user123" ou como 42. Em Lua pura você apenas torceria pelo melhor; o Luau oferece tipos union — o caractere de pipe | lê-se como "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 união

A variável pode conter qualquer membro da union — e apenas esses. Essa é a diferença crucial em relação a any: uma union permanece rígida sobre o que é permitido, ao mesmo tempo que oferece a flexibilidade necessária.

Unions são especialmente úteis para parâmetros de função que aceitam múltiplos 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 union! É simplesmente um atalho para string | nil. Na próxima lição, você aprenderá como trabalhar com segurança com um valor de union assim que tiver um.