Mailman 3 September 2023 - Typing-sig

typing-sig moving to discuss.python.org
by David Foster Sept. 20, 2023

Sept. 20, 2023

Hello all, The typing-sig mailing list is being migrated[^1] to a new top-level "Typing" category at https://discuss.python.org/ . Please start new conversations there. In the near future this mailing list will become read-only, no longer accepting new posts. The existing archive at https://mail.python.org/archives/list/typing-sig@python.org/ will remain online so that URLs pointing to it continue to work. Best, -- David Foster Contributor to TypedDict, mypy, and Python's typing system [^1]: https://discuss.python.org/t/move-typing-sig-to-discourse/29129

4 4

Introduction of the View Type for Static Typing
by juho.kim＠mail.utoronto.ca Sept. 20, 2023

Sept. 20, 2023

Hello, I had an idea for a new type annotation called "View" type hint to indicate attributes that are readable both internally and externally but should only be writable internally. Example usage: from typing import View class MyClass: def __init__(self) -> None: self.my_attr: View[int] = 0 This is equivalent to below from a static type checker's point of view. class MyClass: def __init__(self) -> None: self._my_attr = 0 @property def my_attr(self) -> int: return self._my_attr

1 0

Re: Typing Meetup
by S Pradeep Kumar Sept. 19, 2023

Sept. 19, 2023

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(a)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(a)python.org >>>> To unsubscribe send an email to typing-sig-leave(a)python.org >>>> https://mail.python.org/mailman3/lists/typing-sig.python.org/ >>>> Member address: guido(a)python.org >>> >>> Links: [1] Typing **kwargs using TypedDict: https://mail.python.org/archives/list/typing-sig@python.org/thread/IUCXT2IQ… [2] Non-required Protocol fields: https://mail.python.org/archives/list/typing-sig@python.org/thread/P6FCGRJU… [3] Sealed classes: https://mail.python.org/archives/list/typing-sig@python.org/thread/QSCT2N4R… -- S Pradeep Kumar

10 60

Discussion of PEP 0724 - Stricter Type Guards
by Rich Chiodo Sept. 19, 2023

Sept. 19, 2023

Starting this thread to discuss PEP 724. Initial PR: https://github.com/python/peps/pull/3266

1 1

Disabled the typing issues mailer
by Sebastian Rittau Sept. 18, 2023

Sept. 18, 2023

I have disabled the typing issues mailer for now. If there is still interest, I could change it to send the mail to the new Discourse topic (as soon as it is created), otherwise I would just leave it disabled. - Sebastian

2 1

Opened and changed typing issues week 2023-W37
by Typing Bot Sept. 18, 2023

Sept. 18, 2023

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were opened last week: #1467 Dynamic and Discriminated Unions opened by @irgolic https://github.com/python/typing/issues/1467 --------------------------------------------------- The following issues and pull requests were updated last week: #1216 TypeVarTuple Transformations Before Unpack opened by @llchan https://github.com/python/typing/issues/1216 #1304 range typing opened by @Godwhitelight https://github.com/python/typing/issues/1304 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0

Opened and changed typing issues week 2023-W36
by Typing Bot Sept. 11, 2023

Sept. 11, 2023

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were updated last week: #1383 Create PEP for Map with bind: match Tuple of parameterized types with parameters from TypeVarTuple opened by @jmsmdy https://github.com/python/typing/issues/1383 #1399 Feature request: Allow unpacking of type variable bound to typed dict opened by @NeilGirdhar https://github.com/python/typing/issues/1399 #1454 Allow use of `Required` and `NotRequired` to make an existing typed dict total or optional opened by @CaselIT https://github.com/python/typing/issues/1454 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0

Opened and changed typing issues week 2023-W35
by Typing Bot Sept. 4, 2023

Sept. 4, 2023

The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were opened last week: #1454 Allow use of `Required` and `NotRequired` to make an existing typed dict total or optional opened by @CaselIT https://github.com/python/typing/issues/1454 --------------------------------------------------- The following issues and pull requests were updated last week: #801 Introduce a Not type opened by @antonagestam https://github.com/python/typing/issues/801 #1383 Create PEP for Map with bind: match Tuple of parameterized types with parameters from TypeVarTuple opened by @jmsmdy https://github.com/python/typing/issues/1383 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22

1 0