On Mon, Feb 9, 2009 at 8:37 PM, Richard O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br></div>
There isn't any "application f e".<br>
Any human reader who does that is simply WRONG to do so.<div class="Ih2E3d"></div></blockquote><div><br>Sorry, should have written f* <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br></div>
In your fragmentary example, <monster computation> may be discarded<br>
EVEN IF it contains IO expressions, it's only if they are linked into<br>
the IO chain using >> and/or >>= that the environment will perform<br>
their values.<br>
</blockquote><div><br>Thanks. I see the error of my ways. So, IO expressions must be evaluated if they are in the chain leading to main.<br><br>-gregg <br></div></div><br>