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

Subject: Re: [boost] De Bruijn Bind (alternate bind syntax) Interest?
From: Dave Abrahams (dave_at_[hidden])
Date: 2010-09-02 12:43:09

On Thu, Sep 2, 2010 at 11:57 AM, David Sankel <camior_at_[hidden]> wrote:

> Hello all,
>
> I've been working on an alternate bind syntax based on De Bruijn
> indices[1].
> The syntax is very simple, yet the terms are very powerful.
>
> Here is an example of a function const that takes in an argument c and
> returns another function that, for all input, returns c:
>
>    //ëx.ëy.x = ëë1 with De Bruijn indices.
>

Not according to the page you linked below.  What am I missing?

[1] http://en.wikipedia.org/wiki/De_Bruijn_index
>
>
For those of us without time to study up on functional lingo, it would be
interesting to see some examples translated from a C++-ish lambda syntax
(e.g. phoenix, C++0x lambdas, Bind) to your suggestion

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