next up previous contents
Next: Bibliography Up: Testing the Y-Combinator in Previous: Running the Y-Combinator test   Contents
New book on A++ and the Lambda Calculus available!

Comments on the Y-Combinator test program

It should be noted that this A++ - Code, even though it looks like Scheme-Code, will not run correctly in a Scheme environment.

One reason is, that A++ uses `lazy evaluation' mode when evaluating lambda expressions. Scheme uses `eager evaluation' mode instead, which causes our test program to loop indefinitely, assuming that the necessary adaptation to the Scheme environment has been done (translation of `lif', `mult', `sub', `equaln', `one', `zero', `five' to `if', `*', `-', `equal?', `1', `0', `5').

For further details readers are referred to the book `Programmierung pur'.

Georg Loczewski 2003-08-07