Diferencia entre revisiones de «Final 28/04/2022 (Paradigmas)»
De Cuba-Wiki
(Página creada con «== Funcional == * Definir map usando foldl y foldr * ¿Qué pasa con foldl y foldr con listas infinitas? == Lambda Cálculo == * Dadas las reglas de LC con registros, ¿po…») |
|||
| Línea 6: | Línea 6: | ||
* Dadas las reglas de LC con registros, ¿por qué pedimos que para aplicar una proyección todo los campos de los registros sean valores y no proyectamos directametnte? | * Dadas las reglas de LC con registros, ¿por qué pedimos que para aplicar una proyección todo los campos de los registros sean valores y no proyectamos directametnte? | ||
* Si sacamos la regla siguiente para arreglarlo, ¿ahora anda o sigue roto? | * Si sacamos la regla siguiente para arreglarlo, ¿ahora anda o sigue roto? | ||
M -> M’ | M -> M’ | ||
------------- | ------------- | ||
M.l -> M’l | M.l -> M’l | ||
* Hablamos de la propiedad de progreso | * Hablamos de la propiedad de progreso | ||
Revisión actual - 14:08 28 abr 2022
Funcional[editar]
- Definir map usando foldl y foldr
- ¿Qué pasa con foldl y foldr con listas infinitas?
Lambda Cálculo[editar]
- Dadas las reglas de LC con registros, ¿por qué pedimos que para aplicar una proyección todo los campos de los registros sean valores y no proyectamos directametnte?
- Si sacamos la regla siguiente para arreglarlo, ¿ahora anda o sigue roto?
M -> M’ ------------- M.l -> M’l
- Hablamos de la propiedad de progreso
Lógico[editar]
- Diferencias entre la regla de unificación para proposicional vs. lógica de primer orden.
- ¿Por qué si las reglas para LPO no son completas, en Prolog se pueden usar igual y anda?
- Cómo funciona el not para árboles de resolución finitos e infinitos.
- Vimos unos casitos de unificación, y discutimos si se podía unificar en un paso a la cláusula {}:
* {p(X,a)}, {~p(b,X)}
* {p(X), q(a)}, {~p(b), ~q(Y)}
Objetos[editar]
- Diferencias entre semántica operacional entre LC y SC (o sea preguntaba por big step y small step).
- ¿Cómo se evidencia "que un programa se colgó" en la semántica operacional de lambda cálculo? ¿Y en sigma cálculo?
