Version 1 (modified by malcolm.wallace@…, 10 years ago) (diff)

Flexible Partial Application

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 to

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

Related proposals =