Suppose p and q are functions
(p q) applies p to q
That means function p is invoked with q as its argument
Result of applying 
x.E to q:
| September 22, 1999 | Strong Typing | Slide #8 |
Suppose p and q are functions
(p q) applies p to q
That means function p is invoked with q as its argument
Result of applying x.E to q:
Substitute q into E in place of x
| Next |  |
Copyright © 1999 M-J. Dominus |