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

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

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

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. Теперь та же идея применяется к отдельным полям формы.

Поскольку необязательное поле может иметь значение nil, перед его использованием нужно проверить его. Подходит классический приём из Lua, а в строгом режиме проверка сужает тип внутри ветви:

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

Необязательное означает «может отсутствовать». Это не означает «может иметь любой тип». Если поле email существует, оно всё равно должно быть строкой.