Explique qué se entiende por el término 'borrado de tipos' en los lenguajes de programación.

El borrado de tipos (type erasure) es un mecanismo utilizado en algunos lenguajes de programación con genéricos, por ejemplo, en Java. Durante la compilación, la información sobre los tipos específicos de los parámetros genéricos se elimina (borra), y en el código compilado solo queda el tipo base (por ejemplo, Object). Esto permite mantener la compatibilidad con código sin genéricos, pero impone restricciones, por ejemplo, no se pueden usar tipos específicos de parámetros en tiempo de ejecución.

Ejemplo: en Java, List<String> y List<Integer> en tiempo de ejecución simplemente aparecen como List, y la JVM no distingue sus tipos de elementos.