13 Sep
2011
13 Sep
'11
6:13 p.m.
On 09/13/11 12:44, Dave Abrahams wrote:
on Sun Sep 11 2011, "Jeffrey Lee Hellrung, Jr." <jeffrey.hellrung-AT-gmail.com> wrote:
On Sun, Sep 11, 2011 at 12:01 AM, Ábel Sinkovics <abel@elte.hu> wrote:
I'd express it with "\x.\x.x" in lambda calculus. Inside the inner lambda abstraction "x" refers to the argument of the inner, not the outer one.
A while ago someone suggested (on the developers' list) adding de Bruijn indices [1] to Boost.Bind and/or Boost.MPL (and may have provided at least a sample implementation for one or the other, I'm not sure), which ( I think) would allow you to do what you want to do.
That was David Sankel, IIRC.
Yes: http://lists.boost.org/Archives/boost/2010/09/170487.php