Updating the Typing Meetup date to Wednesday as there were some conflicts. Let me know if there are any major time conflicts.
Date: *Wednesday, November 03, 2021.*Time: 10 am San Francisco time (UTC-7) / 5 pm London time (UTC) Duration: 1 hour
Potential discussion topics: + Typing **kwargs using a TypedDict (Franek Magiera?, Pradeep) [1] + Remaining questions about Callable syntax (Steven) + Non-required Protocol fields (Sebastian Rittau?) [2] + Type support for sealed classes (Adrian Freund?) [3] + Safe, typed JSON validation + Type system documentation (Shannon?)
If you're working on these or any other topics and would like to start a discussion at the meetup, reach out to me.
If you have interesting topics you'd like to see discussed, share them too. Once we have topics, we can always start a discussion even if there's no proposer yet. We will probably have time for 3-4 topics in this session.
On Fri, Oct 15, 2021 at 12:55 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
We plan to hold a virtual Typing Meetup to discuss key typing-related issues in real-time. The idea is that we can make progress on important or controversial discussions, get early feedback on in-progress PEPs, and gauge interest in new proposals.
A virtual meetup will be more accessible to people in other timezones than Bay Area in-person meetups. It should also help consolidate discussions that are often spread out across mailing lists or Github repos. The tentative plan is to have a monthly meetup, but we can change that as needed.
Date: Monday, November 01, 2021. Time: 10 am San Francisco time (UTC-7) / 5 pm London time (UTC) Duration: 1 hour
Time and date are flexible. I'll share the zoom link and agenda the week before. I'll also record the meetup and share afterwards.
If you're interested in presenting a new proposal or your work on some existing proposal, please respond here. We can shoot for 15 minutes per presentation. I know there are quite a few interesting threads on typing-sig that haven't seen much activity in a while :) -- S Pradeep Kumar _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: guido@python.org
Links: [1] Typing **kwargs using TypedDict: https://mail.python.org/archives/list/typing-sig@python.org/thread/IUCXT2IQT... [2] Non-required Protocol fields: https://mail.python.org/archives/list/typing-sig@python.org/thread/P6FCGRJUJ... [3] Sealed classes: https://mail.python.org/archives/list/typing-sig@python.org/thread/QSCT2N4RF...
Hi all,
The Typing Meetup will be on *Wednesday, November 03, 2021 at 10 am San Francisco time (UTC-7)* / 5 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/89227859828.
Agenda: + Callable syntax - Steven Troxler. We will discuss the remaining question about the Callable syntax proposal. + Precise Types for `**kwargs` - Franek Magiera. This is a highly-requested feature on both typing-sig and GitHub [1]
All are welcome! I'll share notes and recording after the meetup. [2]
Thanks, S Pradeep Kumar
[1]: https://github.com/python/mypy/issues/4441 [2]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
1. Callable syntax: Support for shorthand syntax remains unanimous. There was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
2. Precise types for **kwargs: People said this is a valuable feature. The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
3. Better discussion forum than typing-sig: Email threads here lack code markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
[1]: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda: + Pyanalyze: Introduction to its architecture and extensions - Jelle Zijlstra. + Dataclass-transforms: A typing framework for dataclass-like libraries - Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous. There
was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable feature. The
main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack code
markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
-- S Pradeep Kumar
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda: + Pyanalyze: Introduction to its architecture and extensions - Jelle Zijlstra. + Dataclass-transforms: A typing framework for dataclass-like libraries - Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries -
Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous. There
was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable feature.
The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack code
markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries -
Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries -
Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous.
There was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable feature.
The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack code
markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
1. PyCon Typing Summit: PyCon 2022 is coming up soon. This year's Typing Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
2. Dataclass-transforms: Eric, this seems like a valuable feature. I'm in favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
3. Next meetup: If you want to propose a talk for the next meetup, please reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
[1]: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: https://www.youtube.com/watch?v=ld9rwCvGdhc
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries -
Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries
- Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous.
There was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable feature.
The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack
code markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda: + dataclasses-json: Easy, type-safe decoding from JSON - Charles Li. + phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's Typing
Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature. I'm in
favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup, please
reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries
- Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries
- Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous.
There was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable feature.
The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack
code markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10 am San Francisco time (UTC-7) / 5 pm London time (UTC)*
Zoom link: https://us02web.zoom.us/j/89227859828.
See you there!
S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's Typing
Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature. I'm in
favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup, please
reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for dataclass-like libraries
- Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for
dataclass-like libraries - Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending! I've added the recording and meeting notes to the running doc [1]
Quick summary:
- Callable syntax: Support for shorthand syntax remains unanimous.
There was a pretty heated debate about the last remaining question: should the PEP have shorthand only or extended syntax as well? I've added details in the doc.
Takeaway: We’ve been discussing this topic for months now and there are *no* prospects of a firm consensus on extended syntax. Given that the 3.11 deadline is early May 2022 and we will probably need to iterate on the PEP based on SC feedback, the current plan is for us to go ahead and draft the PEP with shorthand syntax. Hopefully, we can implement it, submit it to the Steering Council, and get it approved (can take ~2 months) before the deadline for 3.11.
- Precise types for **kwargs: People said this is a valuable
feature. The main remaining question is about bikeshedding: **kwargs: Unpack[Movie] vs Expand[Movie] vs **Movie.
- Better discussion forum than typing-sig: Email threads here lack
code markup and syntax highlighting, don't have a convenient "like" button that people actually use, and can be hard to follow after a while. We settled on trying out GitHub Discussions for about a month to see if there are major drawbacks compared to typing-sig. I've mentioned the pros and cons in the doc.
Sebastian Rittau volunteered to clean up the python/typing GitHub repo so that we can use it. Sebastian: Could you let us know when we can start moving discussions there? (If python/typing isn't feasible due to noisy help-related questions and we can't filter it easily, we might need a separate repo for typing-sig.)
We'll have the next typing meetup about a month from now. If you would like certain topics to be discussed, shoot me an email.
On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
> Reminder that the Typing Meetup is today* at 10 am San Francisco > time (UTC-7) / 5 pm London time (UTC)* > > Zoom link: https://us02web.zoom.us/j/89227859828. > > See you there! > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
1. dataclasses-json: Easy, type-safe decoding from JSON - Charles Li. Slides [2]. We also discussed ways to make the type checker recognize the methods added to the dataclass (such as `.schema()` and `.from_dict()`).
2. phantom-types: Narrowing types using arbitrary predicates - Anton Agestam. Slides [3]. Some use cases include validating emails and phone numbers using regexes. One interesting example we discussed was `SequenceButNotStr`.
3. PyCon Typing Summit: We'll be having a Typing Summit at PyCon 2022. The date is tentatively April 28 and Shannon and Alfonso are co-organizing. More details to come soon. See you there!
4. Next meetup: If you want to nominate a topic for the next meetup, please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: dataclasses-json: https://docs.google.com/presentation/d/1rVPE0DoDcQon91pqOgWiNd7So4p1qVf_aIfB...
[3]: phantom-types: https://docs.google.com/presentation/d/1wZoSaT7-hk-nBFZDpCy7SfHjKHF7cUfbIfH3...
On Wed, Jan 12, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's Typing
Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature. I'm
in favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup,
please reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for
dataclass-like libraries - Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hi all,
The next Typing Meetup will be on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for
dataclass-like libraries - Eric Traut.
All are welcome! I'll share notes and recording after the meetup. [1] Reach out to me if you want to propose a talk for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com wrote:
> Thanks everyone for attending! I've added the recording and meeting > notes to the running doc [1] > > Quick summary: > > 1. Callable syntax: Support for shorthand syntax remains unanimous. > There was a pretty heated debate about the last remaining question: should > the PEP have shorthand only or extended syntax as well? I've added details > in the doc. > > Takeaway: We’ve been discussing this topic for months now and > there are *no* prospects of a firm consensus on extended syntax. Given that > the 3.11 deadline is early May 2022 and we will probably need to iterate on > the PEP based on SC feedback, the current plan is for us to go ahead and > draft the PEP with shorthand syntax. Hopefully, we can implement it, submit > it to the Steering Council, and get it approved (can take ~2 months) before > the deadline for 3.11. > > 2. Precise types for **kwargs: People said this is a valuable > feature. The main remaining question is about bikeshedding: **kwargs: > Unpack[Movie] vs Expand[Movie] vs **Movie. > > 3. Better discussion forum than typing-sig: Email threads here lack > code markup and syntax highlighting, don't have a convenient "like" button > that people actually use, and can be hard to follow after a while. We > settled on trying out GitHub Discussions for about a month to see if there > are major drawbacks compared to typing-sig. I've mentioned the pros and > cons in the doc. > > Sebastian Rittau volunteered to clean up the python/typing GitHub > repo so that we can use it. Sebastian: Could you let us know when we can > start moving discussions there? (If python/typing isn't feasible due to > noisy help-related questions and we can't filter it easily, we might need a > separate repo for typing-sig.) > > We'll have the next typing meetup about a month from now. If you > would like certain topics to be discussed, shoot me an email. > > [1]: > https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... > > > On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com > wrote: > >> Reminder that the Typing Meetup is today* at 10 am San Francisco >> time (UTC-7) / 5 pm London time (UTC)* >> >> Zoom link: https://us02web.zoom.us/j/89227859828. >> >> See you there! >> -- >> S Pradeep Kumar >> > > > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Hello all,
The next Typing Meetup will be on Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) / 6 pm London time (UTC).
Let me know if you have any major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/84814892097. Please note that the meeting will be automatically recorded from the time it starts.
Agenda: + Pyright Overview and Internals - Eric Traut will discuss Pyright's design goals, architecture, and the features that make it unique among the major Python type checkers
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Jan 12, 2022 at 12:07 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
Slides [2]. We also discussed ways to make the type checker recognize the methods added to the dataclass (such as `.schema()` and `.from_dict()`).
- phantom-types: Narrowing types using arbitrary predicates - Anton
Agestam. Slides [3]. Some use cases include validating emails and phone numbers using regexes. One interesting example we discussed was `SequenceButNotStr`.
- PyCon Typing Summit: We'll be having a Typing Summit at PyCon 2022. The
date is tentatively April 28 and Shannon and Alfonso are co-organizing. More details to come soon. See you there!
- Next meetup: If you want to nominate a topic for the next meetup,
please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: dataclasses-json: https://docs.google.com/presentation/d/1rVPE0DoDcQon91pqOgWiNd7So4p1qVf_aIfB...
https://docs.google.com/presentation/d/1wZoSaT7-hk-nBFZDpCy7SfHjKHF7cUfbIfH3...
On Wed, Jan 12, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's
Typing Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature. I'm
in favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup,
please reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Gentle reminder that the next Typing Meetup is on *Wednesday, December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
Agenda:
- Pyanalyze: Introduction to its architecture and extensions - Jelle
Zijlstra.
- Dataclass-transforms: A typing framework for
dataclass-like libraries - Eric Traut.
On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com wrote:
> Hi all, > > The next Typing Meetup will be on *Wednesday, December 01, 2021 at > 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC). > > Let me know if there are any major conflicts at that time and I can > try to reschedule. > > Zoom link: https://us02web.zoom.us/j/81560123744 > > Agenda: > + Pyanalyze: Introduction to its architecture and extensions - Jelle > Zijlstra. > + Dataclass-transforms: A typing framework for > dataclass-like libraries - Eric Traut. > > All are welcome! I'll share notes and recording after the meetup. > [1] Reach out to me if you want to propose a talk for future meetups. > > Thanks, > S Pradeep Kumar > > [1]: Doc for Meetup notes: > https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... > > On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com > wrote: > >> Thanks everyone for attending! I've added the recording and meeting >> notes to the running doc [1] >> >> Quick summary: >> >> 1. Callable syntax: Support for shorthand syntax remains unanimous. >> There was a pretty heated debate about the last remaining question: should >> the PEP have shorthand only or extended syntax as well? I've added details >> in the doc. >> >> Takeaway: We’ve been discussing this topic for months now and >> there are *no* prospects of a firm consensus on extended syntax. Given that >> the 3.11 deadline is early May 2022 and we will probably need to iterate on >> the PEP based on SC feedback, the current plan is for us to go ahead and >> draft the PEP with shorthand syntax. Hopefully, we can implement it, submit >> it to the Steering Council, and get it approved (can take ~2 months) before >> the deadline for 3.11. >> >> 2. Precise types for **kwargs: People said this is a valuable >> feature. The main remaining question is about bikeshedding: **kwargs: >> Unpack[Movie] vs Expand[Movie] vs **Movie. >> >> 3. Better discussion forum than typing-sig: Email threads here lack >> code markup and syntax highlighting, don't have a convenient "like" button >> that people actually use, and can be hard to follow after a while. We >> settled on trying out GitHub Discussions for about a month to see if there >> are major drawbacks compared to typing-sig. I've mentioned the pros and >> cons in the doc. >> >> Sebastian Rittau volunteered to clean up the python/typing GitHub >> repo so that we can use it. Sebastian: Could you let us know when we can >> start moving discussions there? (If python/typing isn't feasible due to >> noisy help-related questions and we can't filter it easily, we might need a >> separate repo for typing-sig.) >> >> We'll have the next typing meetup about a month from now. If you >> would like certain topics to be discussed, shoot me an email. >> >> [1]: >> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >> >> >> On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com >> wrote: >> >>> Reminder that the Typing Meetup is today* at 10 am San Francisco >>> time (UTC-7) / 5 pm London time (UTC)* >>> >>> Zoom link: https://us02web.zoom.us/j/89227859828. >>> >>> See you there! >>> -- >>> S Pradeep Kumar >>> >> >> >> -- >> S Pradeep Kumar >> > > > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Hello all,
Reminder that the next Typing Meetup will be this *Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) */ 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/84814892097.
Best,
On Mon, Feb 7, 2022 at 4:06 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
The next Typing Meetup will be on Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) / 6 pm London time (UTC).
Let me know if you have any major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/84814892097. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- Pyright Overview and Internals - Eric Traut will discuss Pyright's
design goals, architecture, and the features that make it unique among the major Python type checkers
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Jan 12, 2022 at 12:07 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
Slides [2]. We also discussed ways to make the type checker recognize the methods added to the dataclass (such as `.schema()` and `.from_dict()`).
- phantom-types: Narrowing types using arbitrary predicates - Anton
Agestam. Slides [3]. Some use cases include validating emails and phone numbers using regexes. One interesting example we discussed was `SequenceButNotStr`.
- PyCon Typing Summit: We'll be having a Typing Summit at PyCon 2022.
The date is tentatively April 28 and Shannon and Alfonso are co-organizing. More details to come soon. See you there!
- Next meetup: If you want to nominate a topic for the next meetup,
please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: dataclasses-json: https://docs.google.com/presentation/d/1rVPE0DoDcQon91pqOgWiNd7So4p1qVf_aIfB...
https://docs.google.com/presentation/d/1wZoSaT7-hk-nBFZDpCy7SfHjKHF7cUfbIfH3...
On Wed, Jan 12, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's
Typing Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature. I'm
in favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup,
please reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/81560123744
See you there!
On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com wrote:
> Gentle reminder that the next Typing Meetup is on *Wednesday, > December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm > London time (UTC). > > Zoom link: https://us02web.zoom.us/j/81560123744 > > Agenda: > + Pyanalyze: Introduction to its architecture and extensions - Jelle > Zijlstra. > + Dataclass-transforms: A typing framework for > dataclass-like libraries - Eric Traut. > > On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com > wrote: > >> Hi all, >> >> The next Typing Meetup will be on *Wednesday, December 01, 2021 at >> 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC). >> >> Let me know if there are any major conflicts at that time and I can >> try to reschedule. >> >> Zoom link: https://us02web.zoom.us/j/81560123744 >> >> Agenda: >> + Pyanalyze: Introduction to its architecture and extensions - >> Jelle Zijlstra. >> + Dataclass-transforms: A typing framework for >> dataclass-like libraries - Eric Traut. >> >> All are welcome! I'll share notes and recording after the meetup. >> [1] Reach out to me if you want to propose a talk for future meetups. >> >> Thanks, >> S Pradeep Kumar >> >> [1]: Doc for Meetup notes: >> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >> >> On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com >> wrote: >> >>> Thanks everyone for attending! I've added the recording and >>> meeting notes to the running doc [1] >>> >>> Quick summary: >>> >>> 1. Callable syntax: Support for shorthand syntax remains >>> unanimous. There was a pretty heated debate about the last remaining >>> question: should the PEP have shorthand only or extended syntax as well? >>> I've added details in the doc. >>> >>> Takeaway: We’ve been discussing this topic for months now and >>> there are *no* prospects of a firm consensus on extended syntax. Given that >>> the 3.11 deadline is early May 2022 and we will probably need to iterate on >>> the PEP based on SC feedback, the current plan is for us to go ahead and >>> draft the PEP with shorthand syntax. Hopefully, we can implement it, submit >>> it to the Steering Council, and get it approved (can take ~2 months) before >>> the deadline for 3.11. >>> >>> 2. Precise types for **kwargs: People said this is a valuable >>> feature. The main remaining question is about bikeshedding: **kwargs: >>> Unpack[Movie] vs Expand[Movie] vs **Movie. >>> >>> 3. Better discussion forum than typing-sig: Email threads >>> here lack code markup and syntax highlighting, don't have a convenient >>> "like" button that people actually use, and can be hard to follow after a >>> while. We settled on trying out GitHub Discussions for about a month to see >>> if there are major drawbacks compared to typing-sig. I've mentioned the >>> pros and cons in the doc. >>> >>> Sebastian Rittau volunteered to clean up the python/typing >>> GitHub repo so that we can use it. Sebastian: Could you let us know when we >>> can start moving discussions there? (If python/typing isn't feasible due to >>> noisy help-related questions and we can't filter it easily, we might need a >>> separate repo for typing-sig.) >>> >>> We'll have the next typing meetup about a month from now. If you >>> would like certain topics to be discussed, shoot me an email. >>> >>> [1]: >>> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >>> >>> >>> On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com >>> wrote: >>> >>>> Reminder that the Typing Meetup is today* at 10 am San Francisco >>>> time (UTC-7) / 5 pm London time (UTC)* >>>> >>>> Zoom link: https://us02web.zoom.us/j/89227859828. >>>> >>>> See you there! >>>> -- >>>> S Pradeep Kumar >>>> >>> >>> >>> -- >>> S Pradeep Kumar >>> >> >> >> -- >> S Pradeep Kumar >> > > > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8) */ 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/84814892097.
On Mon, Feb 14, 2022 at 1:43 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Reminder that the next Typing Meetup will be this *Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) */ 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/84814892097.
Best,
On Mon, Feb 7, 2022 at 4:06 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
The next Typing Meetup will be on Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) / 6 pm London time (UTC).
Let me know if you have any major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/84814892097. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- Pyright Overview and Internals - Eric Traut will discuss Pyright's
design goals, architecture, and the features that make it unique among the major Python type checkers
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Jan 12, 2022 at 12:07 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
Slides [2]. We also discussed ways to make the type checker recognize the methods added to the dataclass (such as `.schema()` and `.from_dict()`).
- phantom-types: Narrowing types using arbitrary predicates - Anton
Agestam. Slides [3]. Some use cases include validating emails and phone numbers using regexes. One interesting example we discussed was `SequenceButNotStr`.
- PyCon Typing Summit: We'll be having a Typing Summit at PyCon 2022.
The date is tentatively April 28 and Shannon and Alfonso are co-organizing. More details to come soon. See you there!
- Next meetup: If you want to nominate a topic for the next meetup,
please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: dataclasses-json: https://docs.google.com/presentation/d/1rVPE0DoDcQon91pqOgWiNd7So4p1qVf_aIfB...
https://docs.google.com/presentation/d/1wZoSaT7-hk-nBFZDpCy7SfHjKHF7cUfbIfH3...
On Wed, Jan 12, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks everyone for attending the meetup. The recording and chat transcript are available in the running Google Doc [1].
- PyCon Typing Summit: PyCon 2022 is coming up soon. This year's
Typing Summit [2] was pretty interesting, so we should probably have one next year too. Shannon Zhu has offered to organize it next year too, so if anyone else is interested in co-organizing, please reach out to me.
- Dataclass-transforms: Eric, this seems like a valuable feature.
I'm in favor of having it in a PEP. Does anyone have serious objections? If we can agree on a PEP soon, we could have it as part of 3.11.
- Next meetup: If you want to propose a talk for the next meetup,
please reach out! Otherwise, I'll continue to ping people about topics *I* find interesting :)
PS: Jelle and Eric, could you add your slides to the Google Doc (in a comment)? There were also a couple of unanswered questions by Nikita and Carl, so I've added them to the doc.
On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
> Reminder that the next Typing Meetup is *today at 10 am San > Francisco time (UTC-8)* / 6 pm London time (UTC). > > Zoom link: https://us02web.zoom.us/j/81560123744 > > See you there! > > On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar gohanpra@gmail.com > wrote: > >> Gentle reminder that the next Typing Meetup is on *Wednesday, >> December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm >> London time (UTC). >> >> Zoom link: https://us02web.zoom.us/j/81560123744 >> >> Agenda: >> + Pyanalyze: Introduction to its architecture and extensions - >> Jelle Zijlstra. >> + Dataclass-transforms: A typing framework for >> dataclass-like libraries - Eric Traut. >> >> On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar gohanpra@gmail.com >> wrote: >> >>> Hi all, >>> >>> The next Typing Meetup will be on *Wednesday, December 01, 2021 >>> at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC). >>> >>> Let me know if there are any major conflicts at that time and I >>> can try to reschedule. >>> >>> Zoom link: https://us02web.zoom.us/j/81560123744 >>> >>> Agenda: >>> + Pyanalyze: Introduction to its architecture and extensions - >>> Jelle Zijlstra. >>> + Dataclass-transforms: A typing framework for >>> dataclass-like libraries - Eric Traut. >>> >>> All are welcome! I'll share notes and recording after the meetup. >>> [1] Reach out to me if you want to propose a talk for future meetups. >>> >>> Thanks, >>> S Pradeep Kumar >>> >>> [1]: Doc for Meetup notes: >>> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >>> >>> On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar gohanpra@gmail.com >>> wrote: >>> >>>> Thanks everyone for attending! I've added the recording and >>>> meeting notes to the running doc [1] >>>> >>>> Quick summary: >>>> >>>> 1. Callable syntax: Support for shorthand syntax remains >>>> unanimous. There was a pretty heated debate about the last remaining >>>> question: should the PEP have shorthand only or extended syntax as well? >>>> I've added details in the doc. >>>> >>>> Takeaway: We’ve been discussing this topic for months now and >>>> there are *no* prospects of a firm consensus on extended syntax. Given that >>>> the 3.11 deadline is early May 2022 and we will probably need to iterate on >>>> the PEP based on SC feedback, the current plan is for us to go ahead and >>>> draft the PEP with shorthand syntax. Hopefully, we can implement it, submit >>>> it to the Steering Council, and get it approved (can take ~2 months) before >>>> the deadline for 3.11. >>>> >>>> 2. Precise types for **kwargs: People said this is a valuable >>>> feature. The main remaining question is about bikeshedding: **kwargs: >>>> Unpack[Movie] vs Expand[Movie] vs **Movie. >>>> >>>> 3. Better discussion forum than typing-sig: Email threads >>>> here lack code markup and syntax highlighting, don't have a convenient >>>> "like" button that people actually use, and can be hard to follow after a >>>> while. We settled on trying out GitHub Discussions for about a month to see >>>> if there are major drawbacks compared to typing-sig. I've mentioned the >>>> pros and cons in the doc. >>>> >>>> Sebastian Rittau volunteered to clean up the python/typing >>>> GitHub repo so that we can use it. Sebastian: Could you let us know when we >>>> can start moving discussions there? (If python/typing isn't feasible due to >>>> noisy help-related questions and we can't filter it easily, we might need a >>>> separate repo for typing-sig.) >>>> >>>> We'll have the next typing meetup about a month from now. If you >>>> would like certain topics to be discussed, shoot me an email. >>>> >>>> [1]: >>>> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >>>> >>>> >>>> On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar < >>>> gohanpra@gmail.com> wrote: >>>> >>>>> Reminder that the Typing Meetup is today* at 10 am San >>>>> Francisco time (UTC-7) / 5 pm London time (UTC)* >>>>> >>>>> Zoom link: https://us02web.zoom.us/j/89227859828. >>>>> >>>>> See you there! >>>>> -- >>>>> S Pradeep Kumar >>>>> >>>> >>>> >>>> -- >>>> S Pradeep Kumar >>>> >>> >>> >>> -- >>> S Pradeep Kumar >>> >> >> >> -- >> S Pradeep Kumar >> > > > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
Thanks to Eric Traut for an interesting talk about Pyright's architecture! (Eric: Could you add your slides to the doc?)
- *PyCon Typing Summit 2022*: Please fill out the PyCon 2022 Typing Summit Interest Form https://docs.google.com/forms/d/e/1FAIpQLSdsgrGXrKZUXv9KMBwyYJkJ6L3CL_Os4Yg0wMhDhkmA9x2XbQ/viewform if you are interested in attending! Reach out to Shannon or Alfonso if you're interested in presenting. - *Next Typing Meetup*: If you want to nominate a topic for the next meetup, please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Feb 16, 2022 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is *today at 10 am San Francisco time (UTC-8) */ 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/84814892097.
On Mon, Feb 14, 2022 at 1:43 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Reminder that the next Typing Meetup will be this *Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) */ 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/84814892097.
Best,
On Mon, Feb 7, 2022 at 4:06 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
The next Typing Meetup will be on Wednesday, February 16, 2022 at 10 am San Francisco time (UTC-8) / 6 pm London time (UTC).
Let me know if you have any major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/84814892097. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- Pyright Overview and Internals - Eric Traut will discuss Pyright's
design goals, architecture, and the features that make it unique among the major Python type checkers
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Jan 12, 2022 at 12:07 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks to everyone who attended the meetup. The recording and chat transcript are available in the running Google Doc [1].
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
Slides [2]. We also discussed ways to make the type checker recognize the methods added to the dataclass (such as `.schema()` and `.from_dict()`).
- phantom-types: Narrowing types using arbitrary predicates - Anton
Agestam. Slides [3]. Some use cases include validating emails and phone numbers using regexes. One interesting example we discussed was `SequenceButNotStr`.
- PyCon Typing Summit: We'll be having a Typing Summit at PyCon 2022.
The date is tentatively April 28 and Shannon and Alfonso are co-organizing. More details to come soon. See you there!
- Next meetup: If you want to nominate a topic for the next meetup,
please reach out to me!
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: dataclasses-json: https://docs.google.com/presentation/d/1rVPE0DoDcQon91pqOgWiNd7So4p1qVf_aIfB...
https://docs.google.com/presentation/d/1wZoSaT7-hk-nBFZDpCy7SfHjKHF7cUfbIfH3...
On Wed, Jan 12, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the next Typing Meetup is today: *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
On Tue, Jan 4, 2022 at 1:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
Happy new year! The next Typing Meetup will be on *Wednesday, January 12, 2022 at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC).
Let me know if there are any major conflicts at that time and I can try to reschedule.
Zoom link: https://us02web.zoom.us/j/87596299889. Please note that the meeting will be automatically recorded from the time it starts.
Agenda:
- dataclasses-json: Easy, type-safe decoding from JSON - Charles Li.
- phantom-types: Flexible preconditions using types - Anton Agestam.
All are welcome! I'll share the recording and notes after the meetup. [1] Reach out to me if you want to propose a talk or topic for future meetups.
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
On Wed, Dec 1, 2021 at 9:02 PM S Pradeep Kumar gohanpra@gmail.com wrote:
> Thanks everyone for attending the meetup. The recording and chat > transcript are available in the running Google Doc [1]. > > 1. PyCon Typing Summit: PyCon 2022 is coming up soon. This year's > Typing Summit [2] was pretty interesting, so we should probably have one > next year too. Shannon Zhu has offered to organize it next year too, so if > anyone else is interested in co-organizing, please reach out to me. > > 2. Dataclass-transforms: Eric, this seems like a valuable feature. > I'm in favor of having it in a PEP. Does anyone have serious objections? If > we can agree on a PEP soon, we could have it as part of 3.11. > > 3. Next meetup: If you want to propose a talk for the next meetup, > please reach out! Otherwise, I'll continue to ping people about topics *I* > find interesting :) > > [1]: > https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... > [2]: https://www.youtube.com/watch?v=ld9rwCvGdhc > > PS: Jelle and Eric, could you add your slides to the Google Doc (in > a comment)? There were also a couple of unanswered questions by Nikita and > Carl, so I've added them to the doc. > > On Wed, Dec 1, 2021 at 7:00 AM S Pradeep Kumar gohanpra@gmail.com > wrote: > >> Reminder that the next Typing Meetup is *today at 10 am San >> Francisco time (UTC-8)* / 6 pm London time (UTC). >> >> Zoom link: https://us02web.zoom.us/j/81560123744 >> >> See you there! >> >> On Mon, Nov 29, 2021 at 10:09 PM S Pradeep Kumar < >> gohanpra@gmail.com> wrote: >> >>> Gentle reminder that the next Typing Meetup is on *Wednesday, >>> December 01, 2021 at 10 am San Francisco time (UTC-8)* / 6 pm >>> London time (UTC). >>> >>> Zoom link: https://us02web.zoom.us/j/81560123744 >>> >>> Agenda: >>> + Pyanalyze: Introduction to its architecture and extensions - >>> Jelle Zijlstra. >>> + Dataclass-transforms: A typing framework for >>> dataclass-like libraries - Eric Traut. >>> >>> On Mon, Nov 22, 2021 at 1:14 PM S Pradeep Kumar < >>> gohanpra@gmail.com> wrote: >>> >>>> Hi all, >>>> >>>> The next Typing Meetup will be on *Wednesday, December 01, 2021 >>>> at 10 am San Francisco time (UTC-8)* / 6 pm London time (UTC). >>>> >>>> Let me know if there are any major conflicts at that time and I >>>> can try to reschedule. >>>> >>>> Zoom link: https://us02web.zoom.us/j/81560123744 >>>> >>>> Agenda: >>>> + Pyanalyze: Introduction to its architecture and extensions - >>>> Jelle Zijlstra. >>>> + Dataclass-transforms: A typing framework for >>>> dataclass-like libraries - Eric Traut. >>>> >>>> All are welcome! I'll share notes and recording after the meetup. >>>> [1] Reach out to me if you want to propose a talk for future meetups. >>>> >>>> Thanks, >>>> S Pradeep Kumar >>>> >>>> [1]: Doc for Meetup notes: >>>> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >>>> >>>> On Wed, Nov 3, 2021 at 3:11 PM S Pradeep Kumar < >>>> gohanpra@gmail.com> wrote: >>>> >>>>> Thanks everyone for attending! I've added the recording and >>>>> meeting notes to the running doc [1] >>>>> >>>>> Quick summary: >>>>> >>>>> 1. Callable syntax: Support for shorthand syntax remains >>>>> unanimous. There was a pretty heated debate about the last remaining >>>>> question: should the PEP have shorthand only or extended syntax as well? >>>>> I've added details in the doc. >>>>> >>>>> Takeaway: We’ve been discussing this topic for months now and >>>>> there are *no* prospects of a firm consensus on extended syntax. Given that >>>>> the 3.11 deadline is early May 2022 and we will probably need to iterate on >>>>> the PEP based on SC feedback, the current plan is for us to go ahead and >>>>> draft the PEP with shorthand syntax. Hopefully, we can implement it, submit >>>>> it to the Steering Council, and get it approved (can take ~2 months) before >>>>> the deadline for 3.11. >>>>> >>>>> 2. Precise types for **kwargs: People said this is a valuable >>>>> feature. The main remaining question is about bikeshedding: **kwargs: >>>>> Unpack[Movie] vs Expand[Movie] vs **Movie. >>>>> >>>>> 3. Better discussion forum than typing-sig: Email threads >>>>> here lack code markup and syntax highlighting, don't have a convenient >>>>> "like" button that people actually use, and can be hard to follow after a >>>>> while. We settled on trying out GitHub Discussions for about a month to see >>>>> if there are major drawbacks compared to typing-sig. I've mentioned the >>>>> pros and cons in the doc. >>>>> >>>>> Sebastian Rittau volunteered to clean up the python/typing >>>>> GitHub repo so that we can use it. Sebastian: Could you let us know when we >>>>> can start moving discussions there? (If python/typing isn't feasible due to >>>>> noisy help-related questions and we can't filter it easily, we might need a >>>>> separate repo for typing-sig.) >>>>> >>>>> We'll have the next typing meetup about a month from now. If you >>>>> would like certain topics to be discussed, shoot me an email. >>>>> >>>>> [1]: >>>>> https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... >>>>> >>>>> >>>>> On Wed, Nov 3, 2021 at 7:00 AM S Pradeep Kumar < >>>>> gohanpra@gmail.com> wrote: >>>>> >>>>>> Reminder that the Typing Meetup is today* at 10 am San >>>>>> Francisco time (UTC-7) / 5 pm London time (UTC)* >>>>>> >>>>>> Zoom link: https://us02web.zoom.us/j/89227859828. >>>>>> >>>>>> See you there! >>>>>> -- >>>>>> S Pradeep Kumar >>>>>> >>>>> >>>>> >>>>> -- >>>>> S Pradeep Kumar >>>>> >>>> >>>> >>>> -- >>>> S Pradeep Kumar >>>> >>> >>> >>> -- >>> S Pradeep Kumar >>> >> >> >> -- >> S Pradeep Kumar >> > > > -- > S Pradeep Kumar >
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
-- S Pradeep Kumar
Thanks for organizing the session Pradeep. Could you verify that the link to the Chat Transcript is correct in the doc? For me, resolves to the chat transcript for an older meetup.
I updated the doc with a link to my slides.
-Eric
It would be great if people from pyre, mypy, etc could do similar presentations in the future!
-Erik
I'm hesitant to encourage that. This meetup used to be a place where we can have frank, in-person discussions about issues that come up in the Python typing world, and that's why I attend. I would no longer attend if it became a venue for full-length presentations.
On Wed, Feb 16, 2022 at 10:33 PM Erik De Bonte via Typing-sig < typing-sig@python.org> wrote:
It would be great if people from pyre, mypy, etc could do similar presentations in the future!
-Erik _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: guido@python.org
Good point. I guess this info would be primarily interesting to the subcommunity of people working on type checkers.
Steven Troxler and I have been talking about having a separate meetup for people implementing checkers and other type-related tools, if there's enough interest.
martin
On Thu, Feb 17, 2022 at 9:20 AM Erik De Bonte via Typing-sig < typing-sig@python.org> wrote:
Good point. I guess this info would be primarily interesting to the subcommunity of people working on type checkers. _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: mdemello@google.com
What if we did a separated one off event for something like this? ☺️
On Thu, 17 Feb 2022 at 10:25, Guido van Rossum guido@python.org wrote:
I'm hesitant to encourage that. This meetup used to be a place where we can have frank, in-person discussions about issues that come up in the Python typing world, and that's why I attend. I would no longer attend if it became a venue for full-length presentations.
On Wed, Feb 16, 2022 at 10:33 PM Erik De Bonte via Typing-sig < typing-sig@python.org> wrote:
It would be great if people from pyre, mypy, etc could do similar presentations in the future!
-Erik _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: guido@python.org
-- --Guido van Rossum (python.org/~guido) *Pronouns: he/him **(why is my pronoun here?)* http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-change-the-world/ _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: patrick.arminio@gmail.com
Hello all,
The next Typing Meetup will be on *Wednesday, March 23, 2022 at 10:30 am San Francisco time (UTC-7)* / 5:30 pm London time (UTC).
Note: For this meetup alone, we'll be meeting at 10:30 am San Francisco time rather than the usual 10 am, because some participants had other conflicts. Let me know if anyone else has major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/89984923121. The meeting will be automatically recorded from the time it starts.
Agenda:
- Defining Inference Carve-outs: What to do when a variable or attribute is unannotated, by Shannon Zhu and Eric Traut - Open TypedDicts, by Jonathan Scholbach and Steven Troxler
All are welcome! I'll share the recording and notes after the meetup. [1]
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
Update: I'm moving the meetup to *Wednesday, April 06, 2022 at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1). There were a few conflicts this week and next week. I'll send a reminder a few days before the meeting.
Zoom link: https://us02web.zoom.us/j/89984923121
Best,
On Thu, Mar 17, 2022 at 5:10 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
The next Typing Meetup will be on *Wednesday, March 23, 2022 at 10:30 am San Francisco time (UTC-7)* / 5:30 pm London time (UTC).
Note: For this meetup alone, we'll be meeting at 10:30 am San Francisco time rather than the usual 10 am, because some participants had other conflicts. Let me know if anyone else has major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/89984923121. The meeting will be automatically recorded from the time it starts.
Agenda:
- Defining Inference Carve-outs: What to do when a variable or
attribute is unannotated, by Shannon Zhu and Eric Traut
- Open TypedDicts, by Jonathan Scholbach and Steven Troxler
All are welcome! I'll share the recording and notes after the meetup. [1]
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
Hello all,
Reminder: The next Typing Meetup is on *Wednesday, April 06, 2022 at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1).
Zoom link: https://us02web.zoom.us/j/89984923121. The meeting will be automatically recorded from the time it starts.
Best,
On Mon, Mar 21, 2022 at 9:24 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Update: I'm moving the meetup to *Wednesday, April 06, 2022 at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1). There were a few conflicts this week and next week. I'll send a reminder a few days before the meeting.
Zoom link: https://us02web.zoom.us/j/89984923121
Best,
On Thu, Mar 17, 2022 at 5:10 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Hello all,
The next Typing Meetup will be on *Wednesday, March 23, 2022 at 10:30 am San Francisco time (UTC-7)* / 5:30 pm London time (UTC).
Note: For this meetup alone, we'll be meeting at 10:30 am San Francisco time rather than the usual 10 am, because some participants had other conflicts. Let me know if anyone else has major conflicts at that time and I can reschedule.
Zoom link: https://us02web.zoom.us/j/89984923121. The meeting will be automatically recorded from the time it starts.
Agenda:
- Defining Inference Carve-outs: What to do when a variable or
attribute is unannotated, by Shannon Zhu and Eric Traut
- Open TypedDicts, by Jonathan Scholbach and Steven Troxler
All are welcome! I'll share the recording and notes after the meetup. [1]
Thanks, S Pradeep Kumar
[1]: Doc for Meetup notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g...
-- S Pradeep Kumar
Reminder that the Typing Meetup is today* at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1).
Zoom link: https://us02web.zoom.us/j/89984923121.
Thanks to everyone who attended today's meetup. We had a pretty heated debate towards the end, so if you missed part of it, you can check out the recording, chat, and slides in the running Google Doc [1].
1. Inference carve-outs: Shannon Zhu and Eric Traut [2]. Type checkers differ in their behavior for many cases of unannotated variables, function parameters, or attributes. Shannon and Eric pointed out some of these cases and argued that we should standardize on the behavior for some, if not all, of them. I polled the participants and found 16 in favor of standardization, none against, and 2 saying “I don’t know”. Follow-up: We probably need to find a good way to standardize this.
2. TypedDicts and Extra Fields: Jonathan Scholbach and Steven Troxler [3].
Jonathan and Steven pointed out that, if we have a `BaseTypedDict` and a subtype `ChildTypedDict`, it is legal to assign a dictionary literal containing child-specific keys to a variable of type `ChildTypedDict` and then assign it to a TypedDict `BaseTypedDict`. But it is illegal to assign the dictionary literal directly to `BaseTypedDict`. They argued that this can be confusing for some users. Others argued that this feature prevented users from having a typo in a non-required field, which would not be caught by the type checker otherwise. We were discussing whether or not this warranted a change in the PEP and seemed to agree that we could get away with a clearer error message. We didn't actually get around to discussing whether to add a new `extra=True` flag to allow reading and writing arbitrary extra fields, as in TypeScript or Hack, and what the semantics would be (especially with subtyping).
*Note*: I'm sure people still have some points they want to make! Please continue the discussion in the OTHER, dedicated typing-sig thread [4], so that this thread is purely about Typing Meetup logistics.
3. PyCon Typing Summit: We'll be having a Typing Summit at PyCon on Thursday, April 28th from 1-5 pm: https://us.pycon.org/2022/events/typing-summit/. So, we'll have the next monthly Typing Meetup in late May.
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: https://drive.google.com/file/d/1mxP-nmqWHrLDoxgcZ1Tq54H3AXCJxJx3/view?usp=s...
[3]: https://drive.google.com/file/d/1YWNbP3-h3791YegGskPy6xomJfaUKDs6/view?usp=s...
[4]: https://mail.python.org/archives/list/typing-sig@python.org/thread/66RITIHDQ...
On Wed, Apr 6, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1).
Zoom link: https://us02web.zoom.us/j/89984923121.
S Pradeep Kumar
More of a meta-point, and a reminder: A PEP that has been accepted should not be changed. We used to allow this in some cases, but unless it's merely to clarify wording, PEPs are change specifications, and if you want to change anything you have to either do it as a new PEP or treat it as a minor new feature in the next Python release. Not every new feature requires a PEP. But PEPs are not documentation, and if the behavior changes, the PEP has to stay behind.
On Wed, Apr 6, 2022 at 4:48 PM S Pradeep Kumar gohanpra@gmail.com wrote:
Thanks to everyone who attended today's meetup. We had a pretty heated debate towards the end, so if you missed part of it, you can check out the recording, chat, and slides in the running Google Doc [1].
- Inference carve-outs: Shannon Zhu and Eric Traut [2]. Type checkers
differ in their behavior for many cases of unannotated variables, function parameters, or attributes. Shannon and Eric pointed out some of these cases and argued that we should standardize on the behavior for some, if not all, of them. I polled the participants and found 16 in favor of standardization, none against, and 2 saying “I don’t know”. Follow-up: We probably need to find a good way to standardize this.
- TypedDicts and Extra Fields: Jonathan Scholbach and Steven Troxler [3].
Jonathan and Steven pointed out that, if we have a `BaseTypedDict` and a subtype `ChildTypedDict`, it is legal to assign a dictionary literal containing child-specific keys to a variable of type `ChildTypedDict` and then assign it to a TypedDict `BaseTypedDict`. But it is illegal to assign the dictionary literal directly to `BaseTypedDict`. They argued that this can be confusing for some users. Others argued that this feature prevented users from having a typo in a non-required field, which would not be caught by the type checker otherwise. We were discussing whether or not this warranted a change in the PEP and seemed to agree that we could get away with a clearer error message. We didn't actually get around to discussing whether to add a new `extra=True` flag to allow reading and writing arbitrary extra fields, as in TypeScript or Hack, and what the semantics would be (especially with subtyping).
*Note*: I'm sure people still have some points they want to make! Please continue the discussion in the OTHER, dedicated typing-sig thread [4], so that this thread is purely about Typing Meetup logistics.
- PyCon Typing Summit: We'll be having a Typing Summit at PyCon on
Thursday, April 28th from 1-5 pm: https://us.pycon.org/2022/events/typing-summit/. So, we'll have the next monthly Typing Meetup in late May.
[1]: Meeting recording and notes: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-g... [2]: https://drive.google.com/file/d/1mxP-nmqWHrLDoxgcZ1Tq54H3AXCJxJx3/view?usp=s...
On Wed, Apr 6, 2022 at 6:00 AM S Pradeep Kumar gohanpra@gmail.com wrote:
Reminder that the Typing Meetup is today* at 10:00 am San Francisco time (UTC-7)* / 6:00 pm London time (UTC+1).
Zoom link: https://us02web.zoom.us/j/89984923121.
S Pradeep Kumar
-- S Pradeep Kumar _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: guido@python.org