<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
 Hi,<div><br><div><div>On 2009/03/16, at 10:04, wren ng thornton wrote:</div><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font></div><div>&gt; next r = do n &lt;- readIORef r</div><div>&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; writeIORef r (n+1)</div><div>&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return n</div><div><br></div><div>Now, if I use unsafeInterleaveIO:</div><div><br></div><div>&gt; main = do r &lt;- newIORef 0</div><div>&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; x &lt;-&nbsp; do a &lt;- unsafeInterleaveIO (next r)</div><div>&gt;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; b &lt;- unsafeInterleaveIO (next r)</div><div>&gt;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return (a,b)</div><div>&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; ...</div><div><br></div><div>The values of a and b in x are entirely arbitrary, and are only set at the point when they are first accessed. They're not just arbitrary between which is 0 and which is 1, they could be *any* pair of values (other than equal) since the reference r is still in scope and other code in the ... could affect it before we access a and b, or between the two accesses.</div></blockquote><div><br></div><div>OK, the values of a and b depend how to deconstruct x.</div><br><blockquote type="cite"><div>Moreover, let's have two pure implementations, f and g, of the same mathematical function. Even if f and g are close enough to correctly give the same output for inputs with _|_ in them, we may be able to observe the fact that they arrive at those answers differently by passing in our x. Given that such observations are possible, it is no longer safe to exchange f and g for one another, despite the fact that they are pure and give the same output for all (meaningful) inputs.</div></blockquote><div><br></div><div>Hm, Does it means that in optimization, a compiler may replace implementation of a pure function that have different order of evaluation, so order of actions would be different in some environments?</div></div><div><br></div><br></div></body></html>