Estoy tratando de reducir esta función, muchas gracias
funcionPractica x f = \g -> h ( g x )
Stack Overflow en español es un sitio de preguntas y respuestas para programadores y profesionales de la informática. Solo te toma un minuto registrarte.
Regístrate para unirte a esta comunidadPor un lado, hay una equivalencia entre una función y una expresión lambda. Estas dos sentencias son equivalentes:
f = \x -> h
f x = h
Lo que nos daría la primera reducción:
func x f g = h ( g x )
where h = \z -> f z
Por otro lado, la expresión lambda de la cláusula where no es otra cosa que la aplicación de la función f
. Por tanto, podemos sustituir h
por f
:
func x f g = f ( g x )
O sea, se trata de la composición de dos funciones, f
y g
. Para que quede claro, mejor usar el operador composición:
func x f g = (f . g) x
Ésta sería la solución más sencilla y que dejaría como final. Pero dependiendo de lo que consideres por simple, aún se podría simplificar más transformando esta función en una expresión pointfree, bastante más difícil de entender:
func = flip (.) . flip id