Встроенные аннотации структур

В Lua вы уже давно используете таблицы как записи: local user = {name = "Ana", age = 20}. Ничто не мешает вам допустить опечатку в имени поля, забыть поле или сохранить string там, где должен быть number. Вы узнаете об этом только при запуске кода.

Luau позволяет описать shape такой таблицы прямо в объявлении, перечислив каждое поле и его тип между фигурными скобками:

local user: {name: string, age: number} = {
    name = "Ana",
    age = 20,
}

Сравните это с уже знакомыми вам типами таблиц: {number} описывает массив, а {[string]: number} описывает отображение с любыми строковыми ключами. shape является более точным описанием. В нём каждое поле указывается отдельно и для каждого поля задаётся собственный тип.

После объявления shape проверяющий типов проверяет таблицу на соответствие ему во время редактирования. Отсутствующее поле или неверный тип значения отмечается ещё до запуска кода:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ ошибка типа: string is not a number
}

Как всегда, аннотация не добавляет поведения во время выполнения: таблица остаётся обычной таблицей Lua. Встроенные shape идеально подходят для одноразовых структур, которые вы не планируете повторно использовать; в следующем уроке вы дадите shape имя.