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-gQIo/edit?usp=sharing

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].

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!

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-gQIo/edit?usp=sharing

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-gQIo/edit?usp=sharing
[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-gQIo/edit?usp=sharing

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.


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) 


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