> A much more interesting observation would have been to note that you could accomplish the same thing by introducing a new language construct that explicitly n

> A much more interesting observation would have been to note that you could accomplish the same thing by introducing a new language construct that explicitly noted that the order of two calls doesn't matter This would be the case for a pure function: http://en.wikipedia.org/wiki/Pure_function http://en.wikipedia.org/wiki/Pure_function One of the selling points of pure functional languages is the potential optimizations the compiler can theoretically do, including using multiple cores to evaluate a program, without any explicit hints from the programmer.