September 22, 1999 | Perl and the Lambda Calculus | Slide #18 |

To program, we will require

`TRUE`and`FALSE`valuesIdea: What we really need are three expressions

IF TRUE FALSE

such that

(IF TRUExy) =>x

(IF FALSExy) =>y

for all *x* and *y*

If so, then any expression which reduces to

`TRUE`can be deemed to have a true valueAnd similarly for

`FALSE`

Next | Copyright © 1999 M-J. Dominus |