University
of Washington • CSE583 • D. Notkin © 2000
93
Example
l(lx·1)(* 5 4) in
normal-order and in applicative-order
l(lx·1)(( lx·x x) (lx·x x )) in normal-order and in applicative-order, as we know still stands as a
problem
lEven with this, most early functional languages used
applicative-order evaluation: pure Lisp, FP, ML, Hope, etc.