Hola,
queria saber cual es la diferencia entre
f $ a
f $! a
entiendo que el $ implica evaluar el argumento hasta llegar a su forma normal
Gracias
$ es la aplicación, y $! es la aplicación estricta.
La diferencia es que f $! a reduce a a una forma normal débil antes de aplicarle f.
Ejemplo:
sea f = \x -> "no uso x"
f $ (4 + undefined) == "no uso x"
pero f $! (4 + undefined) da error
Saludos