<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><DIV><DIV>On Jun 27, 2007, at 10:32 AM, Bradley Lucier wrote:</DIV><BR class="Apple-interchange-newline"><BLOCKQUOTE type="cite"><P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">Marc:</FONT></P> <P style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica; min-height: 14.0px"><BR></P> <P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">Is there some combination of continuation-capture and continuation-graft that gives the semantics of call/ec?</FONT></P></BLOCKQUOTE><DIV><BR class="khtml-block-placeholder"></DIV>Yes, since call/cc is built on top of the continution-XXX primitives and the following is a valid definition of call/ec:</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>(define call/ec call/cc)</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>The thing is that this implementation does not take advantage of the usage constraints of call/ec .  It would be possible to implement call/ec in such a way that it does minimal heap allocation.</DIV><DIV><BR><BLOCKQUOTE type="cite"> <P style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica; min-height: 14.0px"><BR></P> <P style="margin: 0.0px 0.0px 0.0px 0.0px"><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">To be honest, I don't understand what any of call/ec, continuation-capture, and continuation-graft do.</FONT></P> </BLOCKQUOTE></DIV><BR><DIV>Check out my paper "A Better API for First-Class Continuations" (<A href="http://repository.readscheme.org/ftp/papers/sw2001/feeley.ps.gz">http://repository.readscheme.org/ftp/papers/sw2001/feeley.ps.gz</A>) for the continuation-XXX operations.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>Marc</DIV><DIV><BR class="khtml-block-placeholder"></DIV></BODY></HTML>