<br><br><div class="gmail_quote">On Fri, May 8, 2009 at 2:37 PM, Andrew Coppin <span dir="ltr">&lt;<a href="mailto:andrewcoppin@btinternet.com">andrewcoppin@btinternet.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">John Lask wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
on the other hand a function to release pool memory to the OS down to the current active level should (I hope) be easily implementable, and quickly incorporated into application where required, whereas arriving at one or more automatic deallocation policies would most likely require some analysis/trial and error.<br>

</blockquote>
<br></div>
I would suggest that trying to do this &quot;automatically&quot; in a way that is optimal for all applications requires some fairly serious heuristics.<br>
<br>
OTOH, for many Haskell programs it isn&#39;t a problem in the first place. (E.g., if you write something like Darcs which only ever runs for a few seconds, you barely need GC in the first place.)</blockquote><div><br>That&#39;s not entirely true.  Darcs has a fair number of operations that stream data and hence work well because the RTS can recycle the memory and keep the usage at a constant.  I think I see your point and agree in principle though.  A similar argument can be applied to laziness.  Often times you end up evaluating most or all of the thunks, so what difference did it make?  But, I guess it&#39;s a bit of an oversimplification in both cases.<br>
 </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> I&#39;m just thinking, the application writer probably knows more about their specific program than the compiler designers do, so it would be nice to be able to provide hints to the RTS.</blockquote>
<div><br>Definitely.<br><br>Jason<br></div></div><br>