Inside Racket Seminar #1: Asumu on Typing Classes

[Jay McCarthy]

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

[William G Hatch]

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

>--
>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+...@googlegroups.com.
>To post to this group, send email to racke...@googlegroups.com.
>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.

[Jay McCarthy]

Yes. Google Hangouts on Air will automatically archive it.

Jay

[Jay McCarthy]

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

[Jay McCarthy]

We will be starting imminently.

Jay

[Jay McCarthy]

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

[Marc Burns]

I am interested in the structure and implementation details of

(a) the interpreter and JIT
(b) the runtime
(c) the expander
(d) 3m

Is this way too much for one seminar? Anyway, whereas this is irrelevant
knowledge for most Racket developers, it is precious for implementation
caregivers and those who may wish to implement their own Racket interpreter.

[Juan Francisco Cantero Hurtado]

On 14/01/16 19:49, Jay McCarthy wrote:
> 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

The correct url is
https://github.com/racket/racket/wiki/Inside-Racket-Seminar-1.-Asumu-on-Typing-Classes

[Spencer Florence]

I'm also interested in having one on the JIT at some point.. 

--
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+...@googlegroups.com.
To post to this group, send email to racke...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/5697FFAD.2040601%40uwaterloo.ca.