Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at