Jukka and Ivan will be visiting the Bay Area in September and we'd like to organize another meetup. Here are the proposed (tentative) logistics:
Date: Friday, Sept. 20
Time: 1pm - 5pm
Location: Facebook in Menlo Park (building and room TBD)
So far Ivan, Jukka, Guido, Rebecca, Martin (?), and myself have committed to attending. I'm also volunteering the rest of the Pyre team.
Please let us know in advance if you plan on attending so that we can book an adequately sized room.
Also now's the time to think about topics to discuss or presentations you want to give.
We've secured a space (thanks, Ewa!) for hosting a typing summit this year at PyCon. It will be in Room 321 on Thursday, April 16th from 1-5pm.
The summit is a series of presentations and discussions for developers and users of Python static type checking. Everyone interested in this topic is invited to attend! Please fill out this form if you plan on showing up:
If you have a topic you'd be interested in presenting on, please mention this in the form or email me separately with a title/topic and an estimated amount of time you'll need.
I will work on putting together a draft agenda in early March based on expressed interest.
Looking forward to seeing you all in April!
I want to announce the submission of a new typing PEP, for ParameterSpecifications (https://github.com/python/peps/pull/1259). We discussed this concept at the last typing summit (presentation can be found here https://github.com/facebook/pyre-check/blob/master/docs/Variadic_Type_Varia…), and there seemed to be general consensus on the utility of this idea, and the appropriateness of the particular solution.
One note that I know there was some disagreement on was the name for the feature itself, with some folks preferring ArgSpec. I wrote up a brief note in the PEP itself why we're not as big fans of that name, but I'd love to hear all of your opinions on this issue, as well as on anything else in the PEP.