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.