| September 22, 1999 | Perl and the Lambda Calculus | Slide #18 |
To program, we will require TRUE and FALSE values
Idea: What we really need are three expressions
IF
TRUE
FALSE
such that
(IF TRUE x y) => x
(IF FALSE x y) => y
for all x and y
If so, then any expression which reduces to TRUE can be deemed to have a true value
And similarly for FALSE
| Next | |
Copyright © 1999 M-J. Dominus |