5.7.9 PL/Tipos.

Tópicos

• Tipos de datos como un conjunto de valores con un conjunto de operaciones.
• Tipos de datos.
• Tipos elementales.
• Tipos producto y coproducto.
• Tipos algebraicos.
• Tipos recursivos.
• Tipos flechas (funciones).
• Tipos parametrizados.
• Modelos de verificación de tipos.
• Modelos semánticos de tipos definidos por el usuario.
• Abreviaciones de tipo.
• Abstracción de tipos de datos.
• Equivalencia de tipos.
• Polimorfismo paramétrico.
• Polimorfismo de subtipos.
• Algoritmos de verificación de tipos.

Objetivos

• Formalizar la noción de tipos.
• Describir cada uno de los tipos de datos elementales.
• Explicar el concepto de tipo abstracto de dato.
• Reconocer la importacia de los tipos de datos para la abstracción y seguridad.
• Diferenciar entre tipos dinámico y estático.
• Diferenciar entre declaraciones de tipos e inferencia de tipos.
• Evaluar lenguajes con respecto al tipado.