On June 21st at 11am Central time, please join us for the fourth Inside Racket
Seminar where Vincent St-Amour will give us a walk-through of the
implementation of Typed Racket's optimizer.

As before, it will be on Google Hangouts on Air with Vincent walking
through the code and giving an explanation of how it all hooks
together. This is not a tutorial on Racket or on the library, but a
kind of oral history and explanation of the software and how it works.
Our hope is that this will increase the ability of others to build and
maintain similar software as we share this kind of expertise in a way
that doesn't fit our existing distribution mechanisms (research
papers, RacketCon talks, documentation, etc.)

Hangouts on Air link: https://plus.google.com/events/chm87mh4umkdpkomk8k8i2lmi7o

I hope that you are able to attend and send your own questions as we go through.

Here are some things you may want to look at to prepare:

0. The optimizer is all syntax classes, so having a good understanding
of syntax-parse is useful.

1. The system is mentioned in passing in "Languages as Libraries":
https://www.cs.utah.edu/plt/publications/pldi11-tscff.pdf

2. A big part of the implemented optimizations depend on an
understanding of Racket's numeric tower, which is discussed well in
"Typing the Numeric Tower":
http://www.ccs.neu.edu/racket/pubs/padl12-stff.pdf

Please feel free to send questions beforehand, on this thread or to me
personally. We will archive the video for later viewing, etc.

As a small preview of his style, you may want to check out Vincent's
talk at RacketCon 2013: https://www.youtube.com/watch?v=D7uPm3J-o6g

Jay

-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAJYbDamAgvFawm1AD79n1Np21GpFdA807PsKfv-OjX-NtDfkMQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to