Edición de «Final 02/08/2023 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 14: | Línea 14: | ||
- b. Tipar (\x. x x) (\x. x x) y dar un juicio de tipado. Explicar que propiedad se perdió. | - b. Tipar (\x. x x) (\x. x x) y dar un juicio de tipado. Explicar que propiedad se perdió. | ||
- 5) calculo sigma | - 5) calculo sigma. | ||
Define el objeto Zero que tiene un mensaje suc y otro que soporta hacer un fold en naturales con caso base 0. | |||
- a. Pidió evaluar un término. Se define Zero = [ fold = ∆(i)i.z, suc = §(x)x.fold := ∆(i)i.s(x.fold(i))]. | - a. Pidió evaluar un término. Se define Zero = [ fold = ∆(i)i.z, suc = §(x)x.fold := ∆(i)i.s(x.fold(i))]. | ||
El triángulo es una lambda por las dudas. El termino a evaluar era zero.suc.fold(isZero). | |||
- b. Definir el objeto dup que duplique un número usando el esquema de fold descrito en la consigna. el dup se esperaba que se use como n.fold(dup) y reduce al objeto que es el doble de n. | - b. Definir el objeto dup que duplique un número usando el esquema de fold descrito en la consigna. el dup se esperaba que se use como n.fold(dup) y reduce al objeto que es el doble de n. |