[Prueba 2018] [Version 1][Ejercicio 9] [Version 2][Ejercicio 7] Solucion Incorrecta?

[Prueba 2018] [Version 1][Ejercicio 9] [Version 2][Ejercicio 7] Solucion Incorrecta?

de Federico Matonte Martinez -
Número de respuestas: 2

EL ejercicio:

Dada la siguiente definición:
  uc = uncurry curry
¿Cuál de las siguientes afirmaciones es correcta?
  (a) uc (uncurry (&&), True) False
  (b) uc ((&&), True) False
  (c) uc (uncurry (&&)) (True, False)
  (d) La definición de uc es incorrecta

En cualquiera de las dos versiones da como respuesta correcta a: "uc (uncurry (&&), True) False"
pero la misma no corre en haskell, la que si corre (y haciendo el ejercicio llegamos a que nos debería dar) es: "uc (uncurry (&&)) (True, False)" pero el resultado de la misma es False. Los documentos están mal no?



En respuesta a Federico Matonte Martinez

Re: [Prueba 2018] [Version 1][Ejercicio 9] [Version 2][Ejercicio 7] Solucion Incorrecta?

de Juan Pablo García Garland -
Están seguros de que están definiendo uc bien? Puede ser que estén confundiendo la aplicación con la composición? curry acá es argumento de uncurry. Haciendo uc = uncurry . curry se llega al mismo resultado que ustedes, por eso creo que puede estar ahí el error.

La opción a) es efectivamente la única que compila.