Comprobaci

1
Comprobación de Tipos

• Capítulo 6

2
Comprobación estática

• Diferente de la dinámica (en runtime)
• Ejemplos
• Comprobación de tipos
• Incompatibilidad de operadores
• Flujo de control
• Exit Do, break, halt, while, next
• Unicidad
• Variables únicas en su ámbito

3
Comprobación estática

• Más ejemplos
• Nombres
• Begin transaction NNN --- Commit transaction NNN
• Comprobación dinámica es necesaria
• tabla array0..255 of char
• i integer
• Verificar i lt 255 estáticamente?

4
Sistemas de tipos

• Basado en
• La noción de tipo
• Tipos básicos o primitivos
• Tipos construidos o referenciales
• Las reglas para asignar tipos
• Suma de dos reales es un?
• Concatenación de dos char es un?

5
Expresiones de tipos

• Un tipo básico
• Boolean, char, integer, long, float, etc.
• error_tipo
• El nombre de un tipo
• public class Telefono
• int número int internacional
• Constructores de tipos

6
Constructores de tipos

• Matrices
• Array(I,T)
• String20 nombres
• Productos cartesianos
• T1 x T2
• Registros
• Record((NNN x integer) x (MMM x String))

7
Constructores de tipos

• Apuntadores
• Pointer(T)
• Funciones
• int x int gt int
• int calcula(int par1 int par2) return
  par1par2

8
Comprobador de tipos

• Gramática de los tipos
• Reglas semánticas
• Atributo (sintetizado o heredado) tipo