more flexible partial application
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Tue Jan 24 21:41:26 EST 2006
lennart at augustsson.net wrote:
> In my opinion, it's a useful feature, but I'm not
> convinced it's useful enough to add to Haskell.
BTW, IIRC the language Hope+ had a similar feature. I think it was
question marks that identified left out parameters in Hope+.
> Quoting Sebastian Sylvan <sebastian.sylvan at gmail.com>:
> > 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 at haskell.org
> > http://haskell.org/mailman/listinfo/haskell-prime
> Haskell-prime mailing list
> Haskell-prime at haskell.org
More information about the Haskell-prime