Edición de «Final 28/04/2022 (Paradigmas)»

== 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, ¿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 ==
* 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 ==
* 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?