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.