Thanks! Kyle<br><br><div><span class="gmail_quote">On 4/26/07, <b class="gmail_sendername">Kyle Smith</b> <<a href="mailto:airfoil@bellsouth.net">airfoil@bellsouth.net</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
You may find my series on the PLT primitive control operators interesting,<br>which you can find at:<br><br><a href="http://schemekeys.blogspot.com">schemekeys.blogspot.com</a></blockquote><div><br> I have read your blog at Feb, before the Chinese new year. And I also ran your demo code.
<br><br> Many examples seem to show the semantics of PLT primitive control operators and interaction with the dynamic-wind<br><br>this is not what I want. I want some elegant solutions (just like the "same-fringe") for some little problems based on delimited controls:P
<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Also, I maintain a small, but fairly complete bibliography of the seminal<br>papers on the topic on my web site, where you can view local copies. There
<br>are many interesting examples contained within those papers. You may find<br>them at:<br><br><a href="http://www.schemekeys.net">www.schemekeys.net</a></blockquote><div><br> I tried to connect many times, all fails:( . Any agent might help?
<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">In addition, you can utilize the higher order control operators, which<br>implement all four classes of control operators by requiring the following
<br>module:<br><br>(require (lib "control.ss"))</blockquote><div><br> Yes , I have read that lib. A little flaw is that there is lack of proof on the macros. <br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Finally, Oleg Kiselyov has come up with a portable implememtation of all four<br>classes of operators, which Jay McCarthy ported to PLT and has on PlaneT,<br>which you can use by requiring the following module:<br><br>(require (planet "
delim-control.ss" ( "jaymccarthy" "current")))</blockquote><div><br> thanks, I will read it. <br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
You can find the original implementation from Oleg on this topic at:<br><br><a href="http://okmij.org/ftp/Computation/Continuations.html#generic-control">http://okmij.org/ftp/Computation/Continuations.html#generic-control
</a></blockquote><div><br> Oleg simulates the delimited control using call/cc and mutable structures. Again, it's not what I want.<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
And I believe I have something from Oleg on this topic in the bibliography.<br><br></blockquote></div><br>-- <br>YuGang