next up previous contents
Next: Steps to Eliminate Implicit Up: Using the Y Combinator Previous: Using the Y Combinator   Contents
New book on A++ and the Lambda Calculus available!

Introduction

The following classical example for recursive programming, the function to calculate the factorial of a natural number, is used to test the Y-combinator.

In order to simplify the procedure we use the functions IF, =, *, - as predefined `lambda abstractions' and assume as well the availability of all natural numbers as values. To make these definitions in the Lambda Calculus would not be difficult, but it would certainly distract from our present topic.



Georg Loczewski 2003-08-07

Impressum und Datenschutz