<div dir="ltr">Thank you for your replies. I’m not currently implementing a language. But I’m very interested in how Racket works and why it is designed like this. So I want to read more about it. Ben</div><div class="gmail_extra"> <div class="gmail_quote">On Tue, Nov 5, 2013 at 10:41 PM, Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Ben, on the first site you can find my papers dating back to the time when I discovered prompt and functional continuations. The papers -- especially those with Dorai's name on them -- contain some examples on how to use them and what for but they mostly focus on 'design theory'. If you are interested in implementation, Matthew's paper is critical. Yes, it looks like it is theory but the executable theory is really used to implement/double-check the concepts. If you want examples on how to use delimited continuations, I recommend a walk through the literature on programming with processes vs events, but starting from the Mach 4 papers. The latter re-discover my original ('84) motivation for inventing prompts (OS-level concepts), which ironically I had suppressed from the POPL ('88) paper. The series ends with a Haskell paper that presents a monad for bridging the gap between the two styles. (Not Racket language model per se but it's not clear what you're really interested in.) -- Matthias <div class="HOEnZb"><div class="h5"> On Nov 5, 2013, at 8:01 AM, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote: > In general, papers here: <a href="http://www.ccs.neu.edu/racket/pubs/" target="_blank">http://www.ccs.neu.edu/racket/pubs/</a> and also > <a href="http://www.cs.utah.edu/~mflatt/publications/index.html" target="_blank">http://www.cs.utah.edu/~mflatt/publications/index.html</a> and > <a href="http://www.eecs.northwestern.edu/~robby/pubs/" target="_blank">http://www.eecs.northwestern.edu/~robby/pubs/</a> cover what's in Racket. > > For delimited continuations, the relevant paper is: > <a href="http://www.cs.utah.edu/plt/delim-cont/" target="_blank">http://www.cs.utah.edu/plt/delim-cont/</a> > > Sam > > On Mon, Nov 4, 2013 at 9:44 AM, Ben Duan <<a href="mailto:yfefyf@gmail.com">yfefyf@gmail.com</a>> wrote: >> Dear all, >> >> >> >> I have some difficulties understanding “1 Language Model” of the Racket >> Reference. I want some detailed explanations on some concepts like “Prompts, >> Delimited Continuations, and Barriers” etc. Do you have any recommended >> resources like papers or books for me to start with? >> >> >> >> Thanks, >> >> Ben >> >> >> ____________________ >> Racket Users list: >> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> >> > > ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </div></div></blockquote></div> </div>