@whitequark @prophet @thephd @eniko @rotopenguin very slightly ;) since you can just expand the set of ordering terms to include operator and operands, unspecified order gains you only this dubious optimization at the cost of introducing ambiguous semantics for a class of programs.
racket went for specifying left-right eval order and i think it was the right thing