Boost logo

Boost :

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)

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk