In theory, there is no difference between theory and practice
Nope, 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
So, applicative-order evaluation looks better again