Subject: Re: [boost] Template metaprogramming libraries
From: Larry Evans (cppljevans_at_[hidden])
Date: 2011-09-13 14:13:00
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_at_[hidden]> 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  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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk