En la práctica, sin embargo, cada lenguaje de programación se compila en un tipo.