<br><br><div class="gmail_quote">On Thu, Feb 5, 2009 at 12:25 PM, Andrew Wagner <span dir="ltr"><<a href="mailto:wagner.andrew@gmail.com">wagner.andrew@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="gmail_quote"><div class="Ih2E3d">On Thu, Feb 5, 2009 at 3:21 PM, David Leimbach <span dir="ltr"><<a href="mailto:leimy2k@gmail.com" target="_blank">leimy2k@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div class="gmail_quote"><br></div></div><div>Well all I can tell you is that I can have (IO Int) in a function as a return, and the function is not idempotent in terms of the "stuff" inside IO being the same.</div>
<div><br></div><div>Sounds impure to me.</div><div></div></blockquote><div><br></div></div><div>Right, thus IO is impure. but as long as the function that returns the IO Int returns the same IO Int every time you provide the same input, it's pure. </div>
</div>
</blockquote></div><br><div>Ah yes I see your point... that's true absolutely.</div>