Body of the IF-Abstraction

Next: Application of basic logical Up: The IF- Abstraction Previous: Remark: Contents Index

The body of this lambda abstraction is just a synthesis of the selector with its two arguments, the two blocks of code from which to select.

Because there are only two possibilities to perform a selection we distinguish between two selectors:

The selector which selects the first argument we assign the name `true'
and the other selector, which selects the second argument, we give the name `false'.

The lambda-abstractions for true and false are easily written as follows:

$\begin{lstlisting}[language=Scm,stepnumber=2]{} (define true (lambda (a b) a)) ; (define false (lambda (a b) b)) \end{lstlisting}$

Georg P. Loczewski 2004-03-05