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

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

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

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

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

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

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

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