Sun Jan 3 13:01:13 CET 2010
Two kinds of optimizations
Let's see if I can find the quote again: There are only two kinds of
* Not performing the work (yet), i.e. performing it lazily at
run-time, or eliminating it at compile-time.
* Performing the work only once and reusing the result.
I.e. run-time memoization and compile-time evaluation.
I think this was attributed to Mich Wand by Dave Herman, but I can't
find the reference.