En todas las operaciones el compilador comprueba los tipos para ver su compatibilidad.