more flexible partial application

Andres Loeh 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.

What would

> foo x y z = \w -> ...
> bar x w = foo x _ _ w

mean?

> bar x w = \y z -> foo x y z w

or

> bar x w = (\y z -> foo x y z) w

Cheers,
  Andres


More information about the Haskell-prime mailing list