Ejercicio de autoevaluacion tipos

Ejercicio de autoevaluacion tipos

de Sandra Paganini Fajardo -
Número de respuestas: 2

Hola, no entiendo esta.. ayuda! 

porque pense que para head, necesitabas algo asi [a,b] y aca seria (x:y).. Gracias. 

Complete la siguiente definición:

qux :: [a] -> (a,a)
qux  vacío  = (x,head y)


(y:x)(_:(x:y))(x,y)(9:(x:y))

Retroalimentación

Respuesta incorrecta.
La respuesta correcta es:

Complete la siguiente definición:

qux :: [a] -> (a,a)
qux [(_:(x:y))] = (x,head y)

En respuesta a Sandra Paganini Fajardo

Re: Ejercicio de autoevaluacion tipos

de Marcos Viera - InCo -

[a,b] es una lista con dos elementos: 'a' y 'b'

x:y es una lista que se compone de un elemento 'x' al principio y el resto una lista 'y'. Entonces como 'y' es una lista le podemos hacer head.