more flexible partial application

[Sebastian Sylvan]

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.

Some other languages allow this, such as Nemerle. Quite handy.

/S

--
Sebastian Sylvan
+46(0)736-818655
UIN: 44640862