Diferencia entre revisiones de «Final 18/05/2017 (Paradigmas)»
De Cuba-Wiki
(Página creada con «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)...») |
(Sin diferencias)
|
Revisión del 16:02 20 may 2017
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?
- Prolog: renombrar y unificar
- Objetos: Dispatch dinámico vs estático (super vs self)