Re: [boost] De Bruijn Bind (alternate bind syntax) Interest?

Subject: Re: [boost] De Bruijn Bind (alternate bind syntax) Interest?
From: David Sankel (camior_at_[hidden])
Date: 2010-09-04 14:54:25

On Sat, Sep 4, 2010 at 10:55 AM, Larry Evans <cppljevans_at_[hidden]>wrote:

> On 09/04/10 08:24, Larry Evans wrote:
> [snip]
> > The attached illustrates the difficulty I was having with
> > mpl::apply.  Maybe the apply_apply typedef would be a good
> > use-case for De Bruijn's method.
> [snip]
> Attached is much simplified code that still illustrates problem.
> Compile errors included:
>

Thanks for the example. If a De Bruijn indices were used, this would look
like

typedef< app< lam< app< op, _1_1 > >
            , int_<1>
            >
       >::type apply_apply;

I think this is a valid example of the needlessly cryptic bind/lambda
semantics that are widespread.

-- 
David Sankel
Sankel Software
www.sankelsoftware.com
585 617 4748 (Office)