University
of Washington • CSE583 • D. Notkin © 2000
91
In theory, there is no difference between theory
and practice
lNope, since
efficiency shows it’s ugly head
–Even for sqr
above, we had to recompute values for expressions more than once
–And there are
lots of examples that arise in practice where “unnecessary” computations arise
regularly
lSo, applicative-order evaluation looks better again