Explique ce que l'on entend par le terme 'effacement de types' dans les langages de programmation.

L'effacement des types (type erasure) est un mécanisme utilisé dans certains langages de programmation avec des génériques, par exemple en Java. Lors de la compilation, les informations sur les types spécifiques des paramètres génériques sont supprimées (effacées), et dans le code compilé, il ne reste que le type de base (par exemple, Object). Cela permet de maintenir la compatibilité avec le code sans génériques, mais impose des restrictions, par exemple, il n'est pas possible d'utiliser des types spécifiques de paramètres à l'exécution.

Exemple : en Java, List<String> et List<Integer> apparaissent simplement comme List à l'exécution, et la JVM ne distingue pas leurs types d'éléments.