Un componente importante del análisis semántico es la verificación de tipos.