Alfonso and I have been working on organizing a Typing Summit in partnership with PyCon, for developers and users of Python static type checkers.
If you are interested in attending, please fill out this signup formhttps://docs.google.com/forms/d/e/1FAIpQLSct42iXWscqznadBYSSsJUWm0wLd9IFKS0SuMO7X1b_yvdv7g/viewform.
Because the summit is co-located with PyCon, it will take place on the 12th or 13th of May. Our tentative schedule is Wednesday, May 12th from 11AM-3PM EST (8AM-12PM PST, 5PM-9PM CET) to accommodate as many time zones as possible.
As in previous years, we hope to make the summit as discussion-oriented as possible. To facilitate this, we encourage presenters to prepare an agenda for their topic, including an introductory presentation and any materials that discussion participants should check in advance. Although different topics may require different discussion formats, the goal is to make sure that participants are up to date with the state of the topic and prepared to provide constructive ideas after the presentation.
Finally, we are sending this form to understand what topics you want to see covered, whether you want or are willing to present the topic, or just want to participate in its discussion. No worries in case that multiple people want to present the same topic, or if you are interested in discussing a topic that nobody has proposed presenting: soon after we will share the form results so that we can discuss how to get the topics properly covered.
Thanks! We are looking forward to seeing everyone at the summit!
Alfonso & Shannon
We just wanted to kindly remind you that you are still on time to sign up for participating in the summit. We expect to share more details about the topics that have been proposed during the TT meeting next Monday.
Shannon & Alfonso
Thank you to all of you who filled the form! The Typing Summit is getting closer and the date will finally be 13th of May to avoid overlapping with the Language Summit.
After taking a look at the topics which have been proposed to present or that people would like to see discussed, we have the following list of tentative topics:
# Block 1 Differences between typecheckers Type syntax simplifications Scoped Type Variables Tensor Shape Checking Type arithmetic Growing Typeshed
# Block 2 Validating JSON with TypedDict and trycast Fast and Reliable Incremental Check with Pyre Type checking at scale Types in bytecode compilation and at runtime
# Block 3 Efforts to reduce imports from typing module Applications of type information Dependent types Formal treatment of Python types
The Block 1 are topics that are especially well-suited for discussion so we will try to prioritize them, potentially in combination with some from Block 2. On other hand, Block 3 are topics that only one person said that would like to see discussed, however if you happen to be interested or willing to present any topic from Block 3 please let us know.
From Block 1, only "Differences between typecheckers" is missing an organizer. The goal is to discuss how to prevent typechecker from having different behaviours and incompatibilities due to ambiguous aspects of the type system. Thus, if anyone would be willing to organize a discussion around this topic it would be highly appreciated.
Although probably it will not be possible to cover all during the summit, we believe that some of the topics could be great candidates for taking place during the Tensor Typing Meetings.
Finally, we are currently contacting people who could be willing to present the topics and once we have a more solid confirmation we will send a tentative schedule specifying who is organizing each topic so that you can get in touch with the organizer to collaborate or simply express that you would like to participate in the discussion.
Best, Shannon & Alfonso.