Dada la siguiente definición:
foo f a = map (f a)
¿Cu´al de las siguientes afirmaciones no es correcta?
No logro ver como foo ($) ≡ map
Podrían mostrarme algún ejemplo que clarifique?
Muchas gracias.
Fijate si las respuestas en este hilo clarifican: https://eva.fing.edu.uy/mod/forum/discuss.php?d=140043
Gracias, pero aún me quedan algunas dudas.
Poniendo un ejemplo,
foo :: (a → b → c) → a → [b ] → [c ]
foo f a = map (f a)
foo (+) 1 = map (+1) En este caso a = 1 ; b → c es el operador (+) ; donde b es el elemento de la lista y c la suma (a+b)
foo ($) (+1) ≡ map $ (+1) No logro comprender f sería ($) y a sería (+1)? Si esto es correcto, a puede tomar el valor de una función entonces? No veo como se relacionan los términos con el tipado.
Si, 'a' puede ser una función.