We just finished. Later today I will posting a summary on the wiki: https://github.com/racket/racket/wiki/Inside-Racket-Seminar-1---Asumu-on-Typing-Classes
If you have a request for the next seminar, please let me know. We'd like to do it in mid-March. Jay On Thu, Jan 14, 2016 at 10:51 AM, Jay McCarthy <[email protected]> wrote: > We will be starting imminently. > > Jay > > On Thu, Jan 14, 2016 at 9:05 AM, Jay McCarthy <[email protected]> wrote: >> 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 > > > > -- > 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/CAJYbDamFVByFhdXjsX7VcpF5Sk8-YesAsuCQfpVtn8w15WaAmg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
