Ejercicio autoevaluacion mas de uan respuesta correcta

Ejercicio autoevaluacion mas de uan respuesta correcta

de Federico Sebastian Beltrame Filgueiras -
Número de respuestas: 1 

Uno de los ejercicio de la autoevaluacion de definiciones tiene como invalida una solucion que es valida.
En el mismo se pide un fill in the blanks para la implementacion de esta funcion:
any :: (a -> Bool) -> [a] -> Bool
Hay dos soluciones validas, una es tomada como incorrecta

En respuesta a Federico Sebastian Beltrame Filgueiras

Re: Ejercicio autoevaluacion mas de uan respuesta correcta

de Marcos Viera - InCo -
Hola, creo que te referís al caso:

any p = (/= [])  . filter p

Ese caso no es correcto porque, aunque la función se comporta como queremos, al usar (/=) sobre las listas se necesita que el tipo de sus elementos sea instancia de Eq, por lo que el tipo de any te cambia a:

any :: Eq a => (a -> Bool) -> [a] -> Bool

saludos