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 `if', `mult', `sub', `equaln', `one', `zero', `five' to `if', `*', `-', `equal?', `1', `0', `5').
Georg P. Loczewski 2004-03-05