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

Subject: [boost] De Bruijn Bind (alternate bind syntax) Interest?
From: David Sankel (camior_at_[hidden])
Date: 2010-09-02 11:57:39

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.
    auto const_ = abs<1>( abs<1>( var<1,0>() ) );

More examples, further explanation, and an implementation are available
here[2].

I'm thinking that this library could also be useful as a core for more
syntax heavy bind variations.

David

[1] http://en.wikipedia.org/wiki/De_Bruijn_index
[2] http://bitbucket.org/camior/de-bruijn-bind/

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