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 `if', `add', `sub', `equaln', `mult', `zero', `one' and others.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz