Evaluation order
Evaluation of a compound procedure can be done in two orders
- Normal order (lazy evaluation)
- fully expand until a long procedure only consisting of primitives is found, then evaluate.
- Applicative order
- evaluate the sub-expressions (arguments) first, then substitute to evaluate the higher-order procedure.
Links