Final 18/05/2017 (Paradigmas)

Oral, se basó en el final del 9/03/2017 y agregó además:

- Existe un fix que no termine en calculo lambda? (identidad)

- Diferencia entre evaluación en haskell (lazy) y lambda (por valor). Existe un fix que no termine en uno pero sí en el otro?

Sí, (\x -> 0) (fix \x x) no termina en lambda pero sí en haskell

- Propiedades de tipado Progreso + ??? (preservación de tipos)

- Qué devuelve el algo de inferencia W? Contexto, término M' del cual el M original es instancia y tipo principal

- Prolog: renombrar y unificar

- Objetos: Dispatch dinámico vs estático (super vs self)