<br><br><div class="gmail_quote">On Mon, Jun 13, 2011 at 4:45 PM, M.C.A. (Marco) Devillers <span dir="ltr">&lt;<a href="mailto:marco.devillers@gmail.com">marco.devillers@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The urge to do I/O at all the wrong places is a born instinct. </blockquote><div><br></div></div><div>The original poster was well aware how to factor out IO out of his program, as made apparent by his initial comment: &quot;<span style="border-collapse:collapse;color:rgb(68, 68, 68);font-family:arial, sans-serif;font-size:13px">An option I suppose would be to read the dictionary at the top level, and then pass it all the way down to the analysis routine that uses it, but that exposes the details of how the analysis is done, and couples the top and bottom levels of the previously modular functions.&quot;</span></div>

<div><span style="border-collapse:collapse;color:rgb(68, 68, 68);font-family:arial, sans-serif;font-size:13px"><br></span></div><div><span style="border-collapse:collapse;color:rgb(68, 68, 68);font-family:arial, sans-serif;font-size:13px">His original argument was a genuine observation that IO sometimes seems to be adverse to the loose coupling of modules. Dissing that argument away as: &quot;you are doing IO at the wrong place,&quot; doesn&#39;t convince me the least.</span></div>

<div><font class="Apple-style-span" color="#444444" face="arial, sans-serif"><span class="Apple-style-span" style="border-collapse: collapse;"><br></span></font></div></div></blockquote><div><br></div><div>There are ways to decouple IO from pure code.  I often have a &quot;Main&quot; datatype which constructs a &quot;pure context&quot; (based on command line arguments, files and their contents, etc) which is then &quot;interpreted&quot; by pure code.  In other words, this is a pure control structure, which is computed by IO (sometimes in an applicative style, sometimes in a monadic one), and then passed into the pure world for processing.  This can be as tightly or loosely coupled as we like, assuming we understand that if a value is even partially based on the results of an IO computation, then IO is going to drive the computation of that value.  There&#39;s no way around that.</div>
</div>