Обобщенная функция тождественности

Вот правильно реализованная функция identity — как generic function:

local function identity<T>(value: T): T
    return value
end

<T> после имени функции объявляет type-параметр: заполнитель, который означает «некоторый тип, определяемый при каждом вызове». В сигнатуре вы используете T точно так же, как настоящий тип: параметр имеет тип T, и функция возвращает тип T.

Использование одного и того же T для входных и выходных данных — вот весь секрет. Это связывает их. Вызовите identity("hello"), и проверяющий определит, что для этого вызова T = string, поэтому результатом будет string. Вызовите identity(42), и T = number, поэтому результатом будет number. Одно тело, every type, ничего не потеряно.

T — всего лишь общепринятое имя (сокращение от «Type»): <Item> или <Value> работают так же хорошо. И, как всегда в Luau, угловые скобки нужны только проверяющему: во время выполнения это обычная Lua-функция function identity(value) return value end.