[Haskell-cafe] transformation of point-free expressions

Daniel Fischer daniel.is.fischer at web.de
Wed Feb 16 04:10:18 EST 2005

G'day ye all,

is there an *elegant* way to transform

( (.) (flip (.) (flip ($)))) . flip (.) . flip (.)

to the more compact form

flip (.) . flip ?

And more general, is there an algorithm to simplify such expressions (other 
than take a piece of paper, apply it to the appropriate number of arguments 
and see what you get)?

Thanks in advance,

More information about the Haskell-Cafe mailing list