La comprobación de tipos de un lenguaje se basa en información de construcciones sintácticas de lenguaje.

En pascal los tipos básicos son boolean, character, integer y real. Los tipos subrangos pueden ser los siguientes:

​

Expresiones de Tipos

 

Existen diferentes tipos de expresiones:

1.- Tipo básico: se conoce como tipo básico el

boolean, char, integer y real

• Un tipo básico especial

 

        error_tipo

​

Para señalar un error de comprobación y el tipo vacío, que indica la "ausencia de un valor".

Registros: Su función es que une dos registros junto con sus nombres.

Funciones: En funciones, se busca que transforme los elementos de un conjunto, dominio, a elementos de otro conjunto, el rango.

Sistema de tipos: conjunto de reglas para asignar expresiones de tipos a construcciones de un programa.

 

1.- Un comprobador de tipos implanta un sistema de tipos

2.- Se pueden implementar en la definición dirigida por la sintaxis

​

Comprobaciones Estáticas y Dinámicas

 

Estática: Aquella que es realizada por el compilador antes de la ejecución del programa

Dinámica: Aquella que es realizada al ejecutar el programa objeto

​

El compilador no puede garantizar estáticamente que el valor de la variable i no exceda los límites del array tabla.