1

Estoy tratando de reducir esta función, muchas gracias

 funcionPractica x f = \g -> h ( g x )
       
     

1 respuesta 1

1

Por 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
3
  • Muchas gracias Chema, me sirvió y mucho. Te puedo hacer otra consulta sobre composición?
    – Logan
    el 26 jul. 2020 a las 22:56
  • Este foro está abierto a todo el mundo. Haz tu pregunta y te ayudaremos en lo que podamos. Eso sí, intenta hacer una entrada por pregunta. el 27 jul. 2020 a las 8:46
  • Chema, te comparto el link de mi consulta es.stackoverflow.com/questions/376906/…
    – Logan
    el 29 jul. 2020 a las 14:58

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.