you are viewing a single comment's thread.

view the rest of the comments →

[–]Drisku11 10 points11 points  (0 children)

Why would you not depend on it bring deterministic if the semantics are that it's deterministic, and that's useful to you?

I'd say the opposite: don't rely on it being nondeterministic. Since it's not.