On Thu, Sep 2, 2010 at 11:57 AM, David Sankel <camior@gmail.com> 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