Subject: [boost] De Bruijn Bind (alternate bind syntax) Interest?
From: David Sankel (camior_at_[hidden])
Date: 2010-09-02 11:57:39
I've been working on an alternate bind syntax based on De Bruijn indices.
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 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