We will be starting in about two hours. We'll take questions on...
- IRC: #racket channel on freenode.net - Hangouts on Air: Q&A feature - Racket Slack: https://racket.slack.com - Twitter: Use the #InsideRacket hash-tag See you there! Jay On Wed, Jan 6, 2016 at 1:39 PM, Jay McCarthy <[email protected]> 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 -- 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/CAJYbDamAOEBL2onp07RL9D6eZfHqL2ai4Ruih2AUnaUH7v-6mQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
