Los compiladores han de determinar el tipo de cada expresión de un programa y generar código para realizar las conversiones de tipo oportunas porque, entre otras cosas, el lenguaje objeto suele requerir instrucciones diferentes para operar con los datos en función de su tipo.