Specifically https://paper.dropbox.com/doc/Typing-Summit-Schedule-7CZ2iT5PNszAq9RmY4WmN And https://paper.dropbox.com/doc/Typing-and-mypy-usability-58lNM498db1NalRQsme4... On Fri, May 3, 2019 at 09:33 Guido van Rossum <guido@python.org> wrote:

I linked that doc from the schedule I posted last week.

On Fri, May 3, 2019 at 09:25 Sinan Cepel <sinancepel@fb.com> wrote:

...

Hey folks,

Ivan's last presentation of typing improvements at the typing summit brought up a lot of potential improvements. I unfortunately didn't write down all of them, and suspect I am not alone in this matter. Is there any chance we can share the presentation with the typing-sig mailing group?

Additionally, did anyone take notes as to what the consensus was on each improvement and who was volunteering to write the PEPs? I'm asking, because I'm partial to the idea of adding shorthands for common typing idioms, and would volunteer unless someone else wants to work on it.

Thanks, Sinan Cepel

_______________________________________________ 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/

-- --Guido (mobile)

-- --Guido (mobile)

Specifically https://paper.dropbox.com/doc/Typing-Summit-Schedule-7CZ2iT5PNszAq9RmY4WmN And https://paper.dropbox.com/doc/Typing-and-mypy-usability-58lNM498db1NalRQsme4... On Fri, May 3, 2019 at 09:33 Guido van Rossum <guido@python.org> wrote:

I linked that doc from the schedule I posted last week.

On Fri, May 3, 2019 at 09:25 Sinan Cepel <sinancepel@fb.com> wrote:

...

Hey folks,

Ivan's last presentation of typing improvements at the typing summit brought up a lot of potential improvements. I unfortunately didn't write down all of them, and suspect I am not alone in this matter. Is there any chance we can share the presentation with the typing-sig mailing group?

Additionally, did anyone take notes as to what the consensus was on each improvement and who was volunteering to write the PEPs? I'm asking, because I'm partial to the idea of adding shorthands for common typing idioms, and would volunteer unless someone else wants to work on it.

Thanks, Sinan Cepel

_______________________________________________ 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/

-- --Guido (mobile)

-- --Guido (mobile)