Необязательные свойства

Не каждое field присутствует всегда. В Lua отсутствующее field таблицы просто считывается как nil — это гибко, но именно так и пробираются ошибки вроде attempt to concatenate a nil value.

Luau позволяет форме указывать это явно: добавьте ? после типа field, чтобы пометить его как optional:

type User = {
    name: string,   -- обязательный
    email: string?, -- опциональный: string или nil
}

local alice: User = {name = "Alice", email = "alice@luau.dev"}
local bob: User = {name = "Bob"} -- ✓ нормально, email опционален

Вы уже встречали это с переменными: string? — это сокращенная запись для string | nil. Та же идея теперь применяется к отдельным fields формы.

Поскольку optional field может быть nil, вы должны check before using it. Классический паттерн Lua работает, и в строгом режиме проверка сужает тип внутри ветки:

if bob.email then
    print(`email: {bob.email}`) -- здесь email является строкой
else
    print("no email on file")
end

Optional означает «может отсутствовать» — это не означает «любой тип». Если email существует, оно все еще должно быть string.