next up previous contents
Next: A++ Source code of Up: A++ Previous: Summary of A++ features:   Contents
New book on A++ and the Lambda Calculus available!

Testing the Y-Combinator in A++

Even though implicit recursion is allowed in A++, it is still possible to use the Y-Combinator to implement recursion.

The following code, stored in file `ytest.ars', represents a translation of the Lambda Calculus code discussed above into A++.

The A++ - interpreter reads the file ``init.ars'' automatically, which contains the definition of basic abstractions like `lif', `add', `sub', `equaln', `mult', `zero', `one' and others.


Georg Loczewski 2003-08-07