1.3 Comprobaciones de Tipos en Expresiones
1.3 Comprobaciones de Tipos en Expresiones
1.3 Comprobaciones de Tipos en Expresiones
3 Comprobaciones de tipos
en expresiones
Resumen
• Sistemas de tipos.
• Expresiones de tipo.
• Equivalencia de tipos.
• Sobrecarga, polimorfismo y conversiones implícitas.
Sistema de tipos
• Funciones principales:
– Inferencia de tipos: calcular y mantener la información sobre los tipos de datos.
– Verificación de tipo: asegurar que las partes de un programa tienen sentido
según las reglas de tipo del lenguaje.
function Primero(a,b:integer):integer;
begin
Primero:= a
end;
Sistema de tipos
• Ejemplo:
• Ejemplo:
type
tipovector = array [0..5] of real;
tipomatriz = array [0..5] of array [0..5] of real;
var
vector : array [0..5] of real;
array1 : array [0..5,0..5] of real;
matriz : tipomatriz;
vecvec1 : array [0..5] of tipovector;
vecvec2 : array [0..5] of tipovector;
• Los tipos de las variables array1, matriz, vecvec1 y vecvec2 son estructuralmente
equivalentes, pues su expresión de tipos es array(0-5,array(0-5,real))
• Ejemplo:
type
tipovector = array [0..5] of real;
var
array1 : array [0..5,0..5] of real;
vector1 : array [0..5] of tipovector;
vector2 : array [0..5] of tipovector;