Programmation générique
Écrire du code qui fonctionne pour de nombreux types sans perdre la vérification de type. List<T>, Vec<T>, HashMap<K, V>.
Deux implémentations principales : la monomorphisation (templates C++, Rust, Swift — le compilateur génère une copie par type utilisé, rapide mais binaire plus gros) et l'effacement de type (generics Java, TypeScript — une seule copie, toutes les infos de type disparaissent à l'exécution). Go n'a obtenu les generics qu'en 2022 (1.18), après des années de débat. Les Concepts C++ (C++20) dompent les messages d'erreur des templates.