[racket] Resources for understanding Racket’s language model?

From: Ben Duan (yfefyf at gmail.com)
Date: Wed Nov 6 07:30:30 EST 2013

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


On Tue, Nov 5, 2013 at 10:41 PM, Matthias Felleisen <matthias at ccs.neu.edu>wrote:

>
> 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
>
>
>
>
> On Nov 5, 2013, at 8:01 AM, Sam Tobin-Hochstadt <samth at cs.indiana.edu>
> wrote:
>
> > In general, papers here: http://www.ccs.neu.edu/racket/pubs/ and also
> > http://www.cs.utah.edu/~mflatt/publications/index.html and
> > http://www.eecs.northwestern.edu/~robby/pubs/ cover what's in Racket.
> >
> > For delimited continuations, the relevant paper is:
> > http://www.cs.utah.edu/plt/delim-cont/
> >
> > Sam
> >
> > On Mon, Nov 4, 2013 at 9:44 AM, Ben Duan <yfefyf at gmail.com> 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:
> >>  http://lists.racket-lang.org/users
> >>
> >
> > ____________________
> >  Racket Users list:
> >  http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20131106/48ab9b2d/attachment-0001.html>

Posted on the users mailing list.