Los generics te permiten escribir código reutilizable parametrizado por un tipo: una "variable de tipo" que se completa cuando el código se usa. Te dan reutilización sin perder seguridad de tipos (la alternativa, any, la pierde).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T es un marcador de posición; TypeScript lo infiere a partir del argumento, así que el tipo de retorno es preciso: first([1,2]) da un number, no any.
interface ApiResponse<T> { data: T; status: number; }
const res: ApiResponse<User> = await getUser(); // res.data is User
class Box<T> {
constructor(private value: T) {}
get(): T { return this.value; }
}
const box = new Box(123); // Box<number>
function pair<K, V>(k: K, v: V): [K, V] { return [k, v]; }
pair("id", 42); // [string, number]
Los generics impulsan casi toda abstracción reutilizable en TypeScript: Array<T>, Promise<T>, Map<K,V>, el useState<T> de React, utilidades de obtención de datos y colecciones.
Permiten que una sola implementación funcione para muchos tipos preservando la información de tipos completa de principio a fin: la relación entre los tipos de entrada y de salida se conserva, no se borra.