Обобщенные массивы

Обобщённые типы становятся действительно полезными, когда речь заходит о таблицах. Вы уже записываете типизированные массивы как {number} или {string}. Внутри обобщённой функции тип элемента может быть просто T, а {T} означает «массив чего угодно, чем окажется T».

Вот классический пример: получение первого элемента любого массива:

local function first<T>(items: {T}): T?
    return items[1]
end

Передайте {string}, и проверяющий выведет T = string, поэтому результат будет строкой. Передайте {number}, и результат будет числом. Одна функция заменяет целое семейство копий для разных типов.

Внимательно посмотрите на тип возвращаемого значения: это T?, а не T. Массив может быть пустым, и тогда items[1] будет равно nil: необязательный тип, с которым вы познакомились ранее, честно об этом сообщает: «T или nil». Проверяющий подскажет вызывающему коду обработать случай с nil перед использованием результата — именно это помогает находить ошибки в типизированном языке.