Buenas tengo una duda en el siguiente ejercicio:
No entiendo por que la ultima respuesta es incorrecta.
En respuesta a Ignacio Carlos Monzalvo Milan
Re: Ejercicios de repaso - definiciones
de Marcos Viera - InCo -
Te faltó adjuntar el ejercicio.
En respuesta a Marcos Viera - InCo
Re: Ejercicios de repaso - definiciones
En respuesta a Ignacio Carlos Monzalvo Milan
Re: Ejercicios de repaso - definiciones
de Marcos Viera - InCo -
No cumple con el tipo especificado para any, dado que para poder aplicar la desigualdad (/=) la lista [a] tiene que ser instancia de Eq, lo que implica que se necesita Eq a.
Por lo que el tipo quedaría:
any :: Eq a => (a -> Bool) -> [a] -> Bool