Explique o que se entende por 'apagamento de tipos' em linguagens de programação.

A eliminação de tipos (type erasure) é um mecanismo utilizado em algumas linguagens de programação com genéricos, por exemplo, em Java. Durante a compilação, as informações sobre os tipos específicos dos parâmetros genéricos são removidas (apagadas), e no código compilado fica apenas o tipo base (por exemplo, Object). Isso permite manter a compatibilidade com código sem genéricos, mas impõe restrições, por exemplo, não é possível usar tipos específicos de parâmetros em tempo de execução.

Exemplo: em Java, List<String> e List<Integer> durante a execução aparecem apenas como List, e a JVM não distingue seus tipos de elementos.