Proof, order of operations and functional languages
vii: Clearly these things are quite different.For example, w - x * y + z is w - (x * y) + zThere is no way to write this as someFunc(w, someFunc2(x, someFunc3(y, z)) where the someFuncs are one of *,+,-,/ -- you would have to use someFunc(w,someFunc3(someFunc2(x,y),z)).Unless you mean that the x,y,w,z can be freely permuted?