3.14.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 (Learning Outcomes):
Elective:

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