[racket] tutorials on using redex

[geb a]

Hi, I've been working with redex (a little bit) trying to work my way through "Semantics Engineering".  Is there anything resembling an idiots guide to programming languages?  The specialized terms in Semantics are slowing me way down.  It probably is necessary to have that approach.  In that case, I'll just have to do the slog!   Best,   Dan

[Asumu Takikawa]

On 2012-11-02 12:21:25 -0700, geb a wrote:
> I've been working with redex (a little bit) trying to work my way
> through "Semantics Engineering". Is there anything resembling an
> idiots guide to programming languages?

You could try reading PLAI, which is a great book and available online:
http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/

Also, have you seen the Amb tutorial in the Redex docs?
http://docs.racket-lang.org/redex/tutorial.html

Cheers,
Asumu
____________________
Racket Users list:
http://lists.racket-lang.org/users

[Shriram Krishnamurthi]

Second edition, now newer and better, currently being written (but most of the way there):

http://www.cs.brown.edu/courses/cs173/2012/book/

[Grant Rettke]

Shriram just to over-communicate here, you are saying that reading and working through PLAIV2 would help us non-PLT-professionals grok the Semantics Engineering book?

--
Grant Rettke | ACM, AMA, COG, IEEE
gre...@acm.org | http://www.wisdomandwonder.com/
Wisdom begins in wonder.
((λ (x) (x x)) (λ (x) (x x)))

[Shriram Krishnamurthi]

Currently: indirectly, yes, directly, no.  But I plan to write up some material that will make the transition from PLAI 2/e to SEwPR.  

Half the problem is one of notation, which can be explained.  

But PLAI covers explicitly many things that SEwPR seewps under the rug by virtue of assuming you already know how to study languages and are now interested in acquiring advanced tools for doing so.

[geb a]

Thank you all!  I am working through plai and I do recognize some of the connections.  The amb tutorial is indeed helpful.  I will keep working on it.   Thank you!   Dan --- On Sun, 11/4/12, Shriram Krishnamurthi <s...@cs.brown.edu> wrote: