Tipos y Bindings

Contenidos teóricos

• Binding, polimorfismo y sobrecarga.
• Multiple dispatch
• Sistemas de tipos.
  • Acá tienen el resumen de la clase del cuatrimestre pasado que habla del tema.
  • Tipado estático y dinámico
  • Duck-typing.
• Bonus
  • Design By Contract
  • Pluggable Type Systems (paper)
  • Constraint-Bounded Polymorphism (paper)

Ejemplos

• Ejemplos de simple dispatch (Java) y múltiple dispatch (XTend)
• Ejemplo práctico: Type-safe duck typing en Scala con tipos estructurales

Ejercicios

• Impacto del dispatch al diseñar con Objetos

Herramientas

• Repaso de Objetos & Smalltalk

Bibliografía

• Pharo By Example
• Kim B. Bruce. Foundations of Object-Oriented Languages: Types and Semantics.
• Martín Abadi and Luca Cardelli. A theory of objects.