Re: more flexible partial application

lennart@augustsson.net wrote:

In my opinion, it's a useful feature, but I'm not convinced it's useful enough to add to Haskell.

I agree. BTW, IIRC the language Hope+ had a similar feature. I think it was question marks that identified left out parameters in Hope+. Manuel

Quoting 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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime