[Haskell-cafe] transformation of point-free expressions
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