Типизированные массивы

Typed arrays — одна из самых полезных возможностей Luau для организации нескольких значений с сохранением типобезопасности.

В Lua массив — это просто table со значениями на позициях 1, 2, 3, …, и он с радостью будет одновременно хранить number, string и boolean. Luau позволяет объявить, что table должен содержать элементы только одного типа, используя синтаксис {Type}:

local numbers: {number} = {1, 2, 3, 4, 5}
local names: {string} = {"Alice", "Bob", "Charlie"}
local flags: {boolean} = {true, false, true}

Когда вы объявляете typed array, средство проверки типов Luau отслеживает, чтобы в него попадали только values объявленного типа. Вставьте string в массив {number}, и вы получите type error еще при редактировании — до того, как код вообще запустится:

local scores: {number} = {85, 90, 78}
table.insert(scores, "oops") -- ✗ ошибка типа: string не является number

Всё, что вы уже знаете о Lua tables, по-прежнему применимо: arrays индексируются с 1 (based на 1: scores[1] — это first элемент), #scores — это длина, а table.insert / table.remove работают как обычно. Аннотация добавляет безопасность, а не новое поведение во время выполнения.