Thu May 28 07:44:28 CEST 2009

partial evaluation is proper commutation

It's all about order.  I had this dream where it was very clear to me.
Of course as dreams go, they only tell you what you believe, not
necessarily what's true or how to get there.

Makes sense though.  I've seen the argument made multiple times that
lazyness and good PE are quite related.  Lazyness gives you some kind
of optimal evaluation order.