Comprobacion de Tipos en el Analisis Semantico




Comprobación de tipos

Un compilador debe asignar una expresión de tipos a cada componente el programa fuente se encuentra lo que es el sistema de tipos para el lenguaje fuente, la cual es unacolección de reglas lógicas. Esta tiene el potencial de atrapar errores en los programas. Un sistema de tipos sólido, elimina la necesidad de la comprobación dinámica para los errores de tipo para quecuando ocurre este error, no se ejecute el programa destino, esto mejora la seguridad de los sistemas. Por ejemplo:
Los programas en Java se compilan en bytecodes dependientes de la máquina, la cualtiene información sobre los tipos en relación a la operación realizada
Reglas para la comprobación de Tipos:

Existen dos formas para la comprobación de tipos:
Síntesis: Construye el tipo de unaexpresión a partir de los tipos de sub expresiones, además requiere declaración de nombres antes de usarlos. Una regla común para la síntesis de tipos tiene la siguiente forma:

F y X denotan una expresión.
S denota una función de S a T
Inferencia de tipos: Determina el tipo de una construcción del lenguaje a partir de la forma en la que se utiliza. Supongamos que null sea una función que devuelve siuna lista está vacía. Entonces con el uso de null(x), puede determinarse que x es una lista, no se conocen los elementos de x, solo se sabe que debe ser una lista.
Una regla común para la inferencia detipos tiene la siguiente forma:


Conversiones de Tipos
Se da cuando es necesario realizar una operación con tipos distintos de datos, como por ejemplo una suma de x + i, donde x es flotante e i esentero. Se debe hacer una conversión de i a flotante.
Las reglas de conversión de tipos varían de un lenguaje a otro. Por ejemplo, en Java contamos con reglas de ampliación y reglas de reducción, lasde ampliación preservan información, mientras que las de reducción provocan pérdida de información, por lo que un char puede ampliarse a un int o un float.
Existen dos tipos de conversiones:...