On Mon, Feb 9, 2009 at 8:37 PM, Richard O&#39;Keefe <span dir="ltr">&lt;<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>&gt;</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&#39;t any &quot;application f e&quot;.<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, &lt;monster computation&gt; may be discarded<br>
EVEN IF it contains IO expressions, it&#39;s only if they are linked into<br>
the IO chain using &gt;&gt; and/or &gt;&gt;= that the environment will perform<br>
their values.<br>
</blockquote><div><br>Thanks.&nbsp; I see the error of my ways.&nbsp; So, IO expressions must be evaluated if they are in the chain leading to main.<br><br>-gregg <br></div></div><br>