Re: [boost] Template metaprogramming libraries

Subject: Re: [boost] Template metaprogramming libraries
From: Dave Abrahams (dave_at_[hidden])
Date: 2011-09-13 13:44:07

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 [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.

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com