Edición de «Final 22/12/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 13: | Línea 13: | ||
El ejercicio pedía hacer una función que dada una lista te de todas las descomposiciónes. | El ejercicio pedía hacer una función que dada una lista te de todas las descomposiciónes. | ||
Ejercicio 3: Haskell. | Ejercicio 3: Haskell. | ||
Línea 30: | Línea 29: | ||
En calculo sigma, implementar un objeto M que al mandarle el mensaje "memoizar" y un objeto "o" que sabe responder "f" tenés que cachear ese valor básicamente. O sea, si todavía no se calculo O.f tenés que guardarlo para devolverlo y si ya lo hiciste no hay que volver a computarlo. | En calculo sigma, implementar un objeto M que al mandarle el mensaje "memoizar" y un objeto "o" que sabe responder "f" tenés que cachear ese valor básicamente. O sea, si todavía no se calculo O.f tenés que guardarlo para devolverlo y si ya lo hiciste no hay que volver a computarlo. | ||
Ejercicio 5: En calculo lambda, definir las reglas de tipado y de reducción para el Rec de listas | Ejercicio 5: En calculo lambda, definir las reglas de tipado y de reducción para el Rec de listas |