<br><br><div class="gmail_quote">2009/2/9 Felix Klock&#39;s PLT scheme proxy <span dir="ltr">&lt;<a href="mailto:[email protected]">[email protected]</a>&gt;</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Joe (cc&#39;ing James and plt-scheme)-<div class="Ih2E3d"><br>
<br>
On Jan 17, 2009, at 12:26 PM, Joe Marshall wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On Sat, Jan 17, 2009 at 6:42 AM, James Coglan &lt;<a href="mailto:[email protected]" target="_blank">[email protected]</a>&gt; wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
I was wondering whether it&#39;s possible to have tail call optimisation when<br>
using normal order. I don&#39;t want to bang my head against the wall trying to<br>
make it happen if it can&#39;t be done.<br>
</blockquote>
<br>
To answer your question directly: &nbsp;it isn&#39;t easy and it might not be possible<br>
at all. &nbsp;If anyone *really* knows the answer, it is Will Clinger.<br>
<br>
I might be a bit behind the times here, but I believe it is still an<br>
open question<br>
the way you have phrased it. &nbsp;I&#39;ll go out on a limb and suggest that a good<br>
explanation is worthy of a degree.<br>
<br>
</blockquote>
<br></div>
If you want to see related work on this topic, you may want to look at the work of Bakewell and Runciman on this topic.<br>
<br>
For example:<br>
<br>
<a href="http://portal.acm.org/citation.cfm?id=351287" target="_blank">http://portal.acm.org/citation.cfm?id=351287</a><br>
<br>
(Caveat: I read their papers a few years ago, so maybe their stuff has become out-dated. &nbsp;But my memory is that they at least referenced Will&#39;s work on the topic; they had a chance of being on the right track.)</blockquote>
<div><br><br>Thanks. I&#39;ve since moved onto implementing continuations, and I had enough trouble getting my head around the applicative order version that I think trying to implement continuations for normal order would make my head explode... <br>
</div></div><br>