Partial application of arguments

I am trying to figure this out in C++, Haskell and Common Lisp, for anyone who cares. How'd you write a macro that does the following:


(foo (f _ y _))
==> (lambda (x z) (f x y z))

Same thing for Haskell, can it be done? What's the proper way to do this? What of C++?

You might be able to engineer something in C++ using templates, but it will be really ugly looking and will only work for the arities you define.

Here's a way in scheme that works well.


(define (curry f . args)
  (lambda args2
    (apply f (append args args2))))

((curry + 11 22) 33) ==> 66

Implicit currying is nice, but breaks varadic arguments.