Boost logo

Boost :

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

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



David Sankel
Sankel Software
585 617 4748 (Office)

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