University
of Washington CSE583 D. Notkin © 2000
83
A different high-level view
lTo the first order,
you can think of normal-order as
substituting the actual parameter for
the formal parameter rather than
evaluating the actual first
Its closely related to call-by-name in Algol.
lTo the first order,
you can think of applicative-order (also
called eager-order) as evaluating each actual
parameter once and passing its value to
the formal parameter