Final 03/08/2020 (Paradigmas)

1. Diferencia entre la regla de resolución de lógica proposicional y de lógica de primer orden.
2. Arbolito SLD y que ramas no se recorrían con un cut (es el arbolito que está como ejemplo de cut de SLD)
3. Qué pasa con not(not(p(X))?
4. Si definieras elem :: a -> [a] -> bool con fix, como un fix M, que tipo tiene M ?
5. Un seguimiento con clases C1,C2,C3,C4 donde le mandas un mensaje a C4:
6. Que es que con subtipado algo sea covariante
7. Ref que es? covariante? contravariante?
8. Que pierdes al agregar referencias a un cálculo lambda normalito (con bool y nat ponele)
9. Pregunta compuesta:
   1. Si tenés cálculo lambda de bool y naturales, sin el fix, podés tener recursión?
   2. Si agregás referencias pero no agregas el fix, podes tener recursión?
10. Qué es método dispatch estatico vs. dinamico.
11. Para que se quiere subtipado