As a programmer who only vaguely understands QM, the lazy evaluation example is amazing. Any physicists want to confirm its right?
What's more, measuring with a non-orthogonal measurement makes the state orthogonal to that measurement, and not orthogonal to the other measurement!
This is totally different to how lazy evaluation works.