more flexible partial application
sebastian.sylvan at gmail.com
Mon Jan 23 12:38: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
> 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.
Some other languages allow this, such as Nemerle. Quite handy.
More information about the Haskell-prime