PL9. Sistemas Tipo.
Tópicos
- Tipos de datos como un conjunto de valores con un conjunto de operaciones.
- Tipos de datos:.
- a)
- Tipos elementales.
- b)
- Tipos producto y coproducto.
- c)
- Tipos algebraicos.
- d)
- Tipos recursivos.
- e)
- Tipos flechas (funciones).
- f)
- Tipos parametrizados.
- Modelos de verificación de tipos.
- Modelos semánticos de tipos definidos por el usuario.
- a)
- Abreviaciones de tipo.
- b)
- Abstracción de tipos de datos.
- c)
- 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 datos.
- Reconocer la importacia de los tipos de datos para la abstracción y la seguridad.
- Diferenciar entre tipado dinámico y estático.
- Diferenciar entre declaraciones de tipos e inferencia de tipos.
- Evaluar lenguajes con respecto al tipado.
Sociedad Peruana de Computación