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 resumen de edición |
||
Línea 8: | Línea 8: | ||
- Propiedades de tipado Progreso + ??? (preservación de tipos) | - Propiedades de tipado Progreso + ??? (preservación de tipos) | ||
- Qué devuelve el algo de inferencia? | - 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 | - Prolog: renombrar y unificar | ||
- Objetos: Dispatch dinámico vs estático (super vs self) | - Objetos: Dispatch dinámico vs estático (super vs self) |
Revisión actual - 20:44 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 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)