Evaluation Order and Infinite Lists
- slide 15 : 27
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.
Normal-order reduction can lead to repeated evaluation of the same subexpression