Will this be recorded and available for viewing later for those with
schedule conflicts?

On Wed, Jan 06, 2016 at 01:39:49PM -0500, Jay McCarthy wrote:
Next week, January 14th at 11am EST, please join us for the first
Inside Racket Seminar where Asumu will give us a walk-through of how
typing classes works in Typed Racket.

https://plus.google.com/events/chaeqmdp734takcoeel5nnj3las?hl=en

This is a new concept of a series that we'll try to have throughout
the year where Racketeers give a low-level walkthrough of the code
that implements an important Racket feature. This is not a tutorial on
the feature or the features of Racket used to implement it, but a kind
of oral history 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.)

The format will be a Google Hangout on Air where Asumu will lead to a
small video'd-in audience through the code while others watch on and
ask questions on chat.

So, please come prepared by reviewing the papers about the type system
used for classes, linked from Asumu's site:
http://www.ccs.neu.edu/home/asumu/

1. Towards Practical Gradual Typing
2. Contracts for First-Class Classes: Theory and Practice
3. Gradual Typing for First-Class Classes

Check out the documentation for TR classes:

4. http://docs.racket-lang.org/ts-reference/Typed_Classes.html

And by taking a perusal of the general Typed Racket implementation
paper and the class system implementation paper:

5. The Design and Implementation of Typed Scheme: From Scripts to Programs
http://arxiv.org/abs/1106.2575

6. http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf

for a sense of which Racket libraries are heavily used (syntax-parse,
syntax-local-value, local-expand, and friends)

We look forward to your participation and hearing from Asumu!

--
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 [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAJYbDa%3DyTPyY6hNBmsHrFamKLOasFfPkeHbjZ04%3DbT9VJrp-2A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

--
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 [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/20160107182831.GA18984%40conspirator.williamhatch.net.
For more options, visit https://groups.google.com/d/optout.

Reply via email to