On Fri, Dec 19, 2008 at 8:26 AM, Duncan Coutts <span dir="ltr">&lt;<a href="mailto:duncan.coutts@worc.ox.ac.uk">duncan.coutts@worc.ox.ac.uk</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">On Fri, 2008-12-19 at 15:58 +0100, Daniel Kraft wrote:<br>
<br>
&gt; How does reverse work in constant space? &nbsp;At the moment I can&#39;t imagine<br>
&gt; it doing so; that&#39;s why I tried it, but of course you could be right.<br>
<br>
</div>It allocates a new list cell for every cell it finds in the input list.<br>
If the input list can be garbage collected then reverse takes constant<br>
space because each time it inspects a list cell from the input list that<br>
cell can be garbage collected. If the input list is being retained for<br>
some other reason then reverse will take linear space.</blockquote><div><br>I don&#39;t think that&#39;s true.&nbsp; It must inspect the whole input list to give the first element of the output list, but it cannot garbage collect the input list because it needs to yield every element of it.<br>
<br>When I tested:<br><br>ghci&gt;&nbsp; length $ reverse [1..10^7] <br><br>It certainly did not run in constant space.<br><br>I think that if the first half of the output list is unused, then the second half of the input list will be collected (I&#39;m having trouble visualizing the dynamics of this case though).&nbsp; But for the very first cons of the output, the whole input list (spine) needs to be in memory.<br>
<br>Luke<br>&nbsp;</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
<div class="Ih2E3d"><br>
&gt; &gt; You might get some mileage by suggesting to GHC that your Fraction type<br>
&gt; &gt; is strict e.g.<br>
&gt; &gt;<br>
&gt; &gt;&gt; data Fraction = Fraction !Int !Int<br>
&gt; &gt;<br>
&gt; &gt; which might persuade it to unbox the Ints, giving some space savings.<br>
&gt;<br>
&gt; I already tried so, but this doesn&#39;t change anything to the performance.<br>
&gt; &nbsp; I will however try now to use the provided rational type, maybe this<br>
&gt; helps.<br>
<br>
</div>It will not make any difference to the space used by Fraction unless you<br>
also unpack them as I mentioned in my other post.<br>
<font color="#888888"><br>
Duncan<br>
</font><div><div></div><div class="Wj3C7c"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>