Таблицы смешанной структуры

Массивы содержат много значений одного типа; отображения содержат ключи одного типа и значения одного типа. Но в самых распространённых таблицах Lua смешиваются типы в именованных полях: у игрока есть строковое имя, числовой счёт и логический флаг. В Luau для описания таких таблиц используется форма: тип таблицы, в котором перечислены все поля и тип каждого из них.

type Point = {x: number, y: number}

local origin: Point = {x = 0, y = 0}
print(origin.x)

Ключевое слово type создаёт псевдоним типа: повторно используемое имя для формы. Оно существует только для средства проверки типов: значение времени выполнения с именем Point не создаётся. У каждого поля может быть свой тип:

type Player = {name: string, score: number, active: boolean}

local player: Player = {name = "Rio", score = 1500, active = true}
print(`{player.name} has {player.score} points`)

Когда форма объявлена, средство проверки знает, что player.score — это число, и заранее обнаруживает ошибки: опечатку вроде player.scroe (такого поля нет) или присваивание player.score = "high" (неверный тип). Это лишь первое знакомство: в одной из следующих глав мы гораздо подробнее рассмотрим формы, необязательные поля и методы.