Many thanks to everybody who tried to set me straight on the thread about IO monad and evaluation semantics.&nbsp; I&#39;ve begun summarizing the info, and I believe I&#39;ve come up with a much better way of explaining IO; just flip the semantic perspective, and think in terms of interpretations instead of actions.&nbsp; Voila!&nbsp; Oxymoron (values that perform actions) eliminated.&nbsp;&nbsp; See the &quot;Computation considered harmful&quot; and &quot;Fixing Haskell IO&quot; articles at <a href="http://syntax.wikidot.com/blog">http://syntax.wikidot.com/blog</a><br>
<br>Naturally I would be grateful for any corrections/comments.<br><br>Thanks,<br><br>gregg<br>