Programming Paradigms Evaluation Order and Infinite Lists
Lazy evaluation
We will now deal with a practical variant of normal-order reduction
Lazy evaluation is an implementation of normal-order reduction which avoids repeated calculation
of subexpressions
An illustration of lazy evaluation of a Scheme expression. Notice, that Scheme
does not evaluate the expression in this way. Scheme uses applicative-order reduction.