Buenas tardes, quería consultar respecto al comportamiento esperado para el siguiente ejemplo de eta-reducción dado que no me queda del todo claro el comportamiento
Para el siguiente ejemplo:
f5 = \x -> \y -> f x y
El resultado esperado debería ser:
No hay sugerencias ( pues y está libre en f x),
ó por lo contrario se podría empezar por el lambda más interno \y -> f x y sustituyendo por f x y luego sustituyendo \x -> f x por f.
De otra forma, cómo se debería aplicar la reducción?
Muchas gracias,
Saludos,
Ian.