Programación genérica
Escribir código que funciona para muchos tipos sin perder la verificación de tipos. List<T>, Vec<T>, HashMap<K, V>.
Dos implementaciones principales: monomorfización (plantillas de C++, Rust, Swift — el compilador genera una copia por cada tipo usado, rápido pero con binarios más grandes) y type erasure (genéricos de Java, TypeScript — una sola copia, toda la información de tipos se elimina en tiempo de ejecución). Go incorporó genéricos en 2022 (1.18) tras años de debate. Los Concepts de C++ (C++20) domestican los mensajes de error de las plantillas.