Next: Application of basic logical
Up: The IF- Abstraction
Previous: Remark:
Contents
Start
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:
(define true (lambda (a b)
a))
;
(define false (lambda (a b)
b))
|
Georg P. Loczewski
2004-03-05