more flexible partial application

Dinko Tenev dinko.tenev at gmail.com
Tue Jan 24 03:53:19 EST 2006


I created a feature request for this while GHC was still on SF, it has
propagated to trac and can be seen here:

http://hackage.haskell.org/trac/ghc/ticket/315

Cheers,
Dinko


On 1/23/06, Sebastian Sylvan <sebastian.sylvan at gmail.com> wrote:
> 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


More information about the Haskell-prime mailing list