Una funzione identità generica

Ecco la funzione identità fatta nel modo giusto, come funzione generica:

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

<T> dopo il nome della funzione dichiara un parametro di tipo: un segnaposto che indica «un tipo qualsiasi, deciso a ogni chiamata». Nella firma usi T proprio come un tipo reale: il parametro è un T e la funzione restituisce un T.

Usare lo stesso T per l'input e l'output è tutto il trucco. Li collega tra loro. Chiama identity("hello") e il verificatore decide T = string per quella chiamata, quindi il risultato è una string. Chiama identity(42) e T = number, quindi il risultato è un number. Un solo corpo, ogni tipo, senza perdere nulla.

T è solo un nome convenzionale (abbreviazione di «Tipo»): <Item> o <Value> funzionano altrettanto bene. E, come sempre in Luau, le parentesi angolari esistono solo per il verificatore: a runtime, questa è la semplice funzione Lua function identity(value) return value end.