more flexible partial application
loeh at iai.uni-bonn.de
Mon Jan 23 12:46:54 EST 2006
> Are there any subtle reasons for why something like the following
> couldn't be allowed?
> > foo x y z w = ...
> > bar x w = foo x _ _ w
> I.e. a more flexible version of partial application. This would be
> translated too
> > bar x w = \y z -> foo x y z w
> I.e a function which takes the "_" parameters in the same order they
> were encountered in the function application.
I just want to make sure I understand this.
> foo x y z = \w -> ...
> bar x w = foo x _ _ w
> bar x w = \y z -> foo x y z w
> bar x w = (\y z -> foo x y z) w
More information about the Haskell-prime