The Order of Evaluation
- slide 15 : 26
An example of normal versus applicative evaluation
Reduction of the expression
(
(lambda(x y) (+ (* x x) (* y y)))
(fak 5) (fib 10))
The necessary Scheme stuff to evaluate the expression.
It appears to be the case that normal order reduction can lead to repeated evaluation of the same subexpression
