Типы объединения (Union)

Иногда одного типа недостаточно. Идентификатор пользователя может иметь вид "user123" или 42. В обычном Lua остаётся только надеяться на лучшее; в Luau есть объединения типов: вертикальная черта | означает «или»:

local userId: number | string

userId = "user123"  -- ✓ строка допустима
userId = 42          -- ✓ число допустимо
userId = true        -- ✗ ошибка типа: boolean не входит в объединение

Переменная может содержать любой из типов, входящих в объединение, и только их. В этом и заключается ключевое отличие от any: объединение строго ограничивает допустимые значения, но при этом даёт необходимую гибкость.

Объединения особенно полезны для параметров функций, принимающих данные в нескольких форматах:

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

printId(42)          -- работает с числом
printId("user123")   -- работает со строкой

Ты уже знаешь string?. Это было твоё первое объединение! Это просто сокращённая запись string | nil. В следующем уроке ты узнаешь, как безопасно работать со значением объединения, когда оно у тебя появится.