2.13.14 PL/Sistemas de tipos

Temas:
Electivo

• Constructores de tipo composicional, como tipos de producto (para agregados), tipos de suma (para uniones), tipos de función, tipos cuantificados y tipos recursivos.
• Comprobación de tipos.
• Seguridad de tipos como preservación más progreso.
• Inferencia de tipos.
• Sobrecarga estática.

Objetivos de Aprendizaje:
Elective:

1. Definir un sistema de tipo de forma precisa y en su composición [Usar]
2. Para varias construcciones de tipo fundamental, identificar los valores que describen y las invariantes que hacen que se cumplan [Familiarizarse]
3. Precisar las invariantes preservadas por un sistema de tipos seguro (sound type system) [Familiarizarse]
4. Demostrar la seguridad de tipos para un lenguaje simple en términos de conservación y progreso teoremas [Usar]
5. Implementar un algoritmo de inferencia de tipos basado en la unificación para un lenguaje básico [Usar]
6. Explicar cómo la sobrecarga estática y algoritmos de resolución asociados influyen el comportamiento dinámico de los programas [Familiarizarse]