| September 22, 1999 | Perl and the Lambda Calculus | Slide #22 |
Idea: What we really need are three expressions
PAIR
FIRST
SECOND
such that
(FIRST (PAIR x y)) => x
(SECOND (PAIR x y)) => y
for all x and y
We already saw that TRUE and FALSE select the first and second of two arguments
We will use them as our selector functions
| Next | |
Copyright © 1999 M-J. Dominus |