Full beta-reduction is certainly not strict but also doesn&#39;t guarantee terminate even where it is possible (i.e. it might indefinitely unfold a value without making progress). I don&#39;t think there is much you can say about non-strictness and termination.<div>
<br></div><div>Regards,</div><div><br></div><div>Dave<br><div><br></div><div><div><div class="gmail_quote">On Mon, Jan 9, 2012 at 3:01 AM, Jon Fairbairn <span dir="ltr">&lt;<a href="mailto:jon.fairbairn@cl.cam.ac.uk">jon.fairbairn@cl.cam.ac.uk</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Perhaps what I should have said to be almost as succinct but</div>
this time accurate is “non-strict semantics requires that the<br>
evaluation strategy terminate if there is any evaluation<br>
strategy that terminates”?<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
Jón Fairbairn                                 <a href="mailto:Jon.Fairbairn@cl.cam.ac.uk">Jon.Fairbairn@cl.cam.ac.uk</a><br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
<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></div></div></div>