Final 21/06/2018 (Paradigmas)

Tomo Rios oral

Me pregunto lo siguiente:

1. Cuando extendes calculo lambda con alguna extension (listas, producto cartesiano, etc) que tenes que tener cuidado ?

Respondi que hay que mirar la semantica operacional, los axiomas de tipado, los terminos nuevos, valores, revisar que correctitud y progreso esten ok y si contemplas el caso de subtipado los problemas de contravarianza y covarianza que pueden darte los tipos nuevos.

2. Que es contravarianza y covarianza, como se aplican en el caso de $Ref\sigma$, que problemas trae la memoria con subtipado?

3. Explicar cut

4. Self y super, method dispatch

Los demas chicos que rindieron conmigo el final le tomaron desarrollo de algunos de los siguientes temas:

• Regla de subtipado, explicar T-Sub y como se modifica E-App para contemplar el caso de subtipado. Porque si usas S-refl y S-trans, deja de estar dirigido por sintaxis el tipado? Como lo salvas el caso?

• Regla de resolucion general, que es un mgu

• Explicar que es not en prolog

• Si viste calculo de objetos, pregunta sobre eso tmb