Re: Representing Closures in C

<johan.tibell@gmail.com> wrote:


> I did quick search for "de Bruin index" but it came back empty. What is
> a "de Bruin index"?


One replaces the variable names in a lambda-expressions with a
non-negative integer: in each occurrence, the number of intermediate
lambda-heads between the lambda-head that the variable is bound to,
and the variable occurrence itself. The point is that variable
substitution needs no variable relabeling.


However an elegant method, I am told that it hard to use in debugging,
as it is difficult for humans to interpret. So in actual functional
language implementations, it has not been used so much.


--
    Hans Aberg

Return to the comp.compilers page.
Search the comp.compilers archives again.