Il problema risolto dai generics

Immagina di aver bisogno di una funzione che restituisca semplicemente qualsiasi valore le venga passato: una funzione identità. Con i tipi che conosci finora, hai due opzioni, ed entrambe sono problematiche.

Prima opzione: scrivere una copia separata per ogni tipo. I corpi sono identici; cambiano solo le annotazioni:

local function echoNumber(value: number): number
    return value
end

local function echoString(value: string): string
    return value
end

Ogni nuovo tipo significa un'altra copia, e un bug corretto in una deve essere corretto in tutte. È proprio questo tipo di duplicazione che scrivi funzioni per evitare.

Seconda opzione: riunirle in un'unica funzione tipizzata con any:

local function echo(value: any): any
    return value
end

Ora una sola funzione gestisce tutto, ma hai sacrificato la sicurezza dei tipi. Quando chiami echo("hello"), il verificatore non sa più che il risultato è una stringa. Sa solo che è any, quindi il completamento automatico non è più disponibile e gli errori di tipo passano inosservati: si perde il collegamento tra ciò che entra e ciò che esce.

Quello che vuoi davvero è una funzione che funzioni con ogni tipo e ricordi quale tipo è stato usato per ogni chiamata. È proprio ciò che offrono i generici, e sono l'argomento di questo capitolo.