COMPROBACI N DE TIPOS

COMPROBACIÓN DE TIPOS

Un compilador debe comprobar si el programa fuente sigue tanto las convenciones sintácticas como las semánticas del lenguaje fuente. Esta comprobación, llamada comprobaciónestática (para distinguirla de la comprobación dinámica que se realiza durante la ejecución del programa objeto).

Sistemas De Tipos
Expresión De Tipos
El tipo de una construcción de un lenguaje sedenotara mediante una “expresión de tipo”. De manera informal, una expresión de tipo es, o bien un tipo básico o se forma aplicando un operador llamado constructor de tipos a otras expresiones de tipos.Los conjuntos de tipos y constructores básicos dependen del lenguaje que deba comprobarse.
Sistemas De Tipos
Un sistema de tipos es una serie de reglas para asignar expresiones de tipos a las distintaspartes de un programa. Un comprobador de tipos de implanta un sistema de tipos. Los sistemas de tipos de este capítulo se especifican a la manera dirigida por la sintaxis, así que se implantanfácilmente usando las técnicas del capítulo anterior.
Diferentes compiladores o procesadores del mismo lenguaje pueden utilizar diferentes sistemas de tipos.
Comprobación Estática Y Dinámica De Tipos
Sedice que la comprobación realizada por un compilador es estática, mientras que la comprobación hecha al ejecutar el programa objeto se denomina dinámica. En principio, cualquier verificación se puederealizar dinámicamente, si el código objeto carga el tipo de un elemento junto con el valor de dicho elemento.
Un sistema de tipos seguro elimina la necesidad de comprobar dinámicamente errores de tiposya que permite determinar estáticamente que dichos errores no pueden ocurrir cuando se está ejecutando el programa objeto. Es decir, si un sistema de tipos seguro asigna un tipo que no sea error_tipoa una parte de un programa, entonces los errores de tipo no pueden producirse cuando se está ejecutando el código objeto de dicha parte de programa.
Recuperación De Errores
Como la comprobación de...