Re: [Python-Dev] PEP 591 discussion (final qualifier) happening at typing-sig@

2019-04-18 Thread Guido van Rossum
Yes, please add this to the PEP in the rejected ideas section, with the motivation for rejection -- the example can show how to work around it. On Tue, Apr 16, 2019 at 12:51 AM Michael Sullivan wrote: > On Mon, Apr 15, 2019 at 8:12 PM Nathaniel Smith wrote: > >> On Mon, Apr 15, 2019 at 5:00 PM

Re: [Python-Dev] PEP 591 discussion (final qualifier) happening at typing-sig@

2019-04-16 Thread Michael Sullivan
On Mon, Apr 15, 2019 at 8:12 PM Nathaniel Smith wrote: > On Mon, Apr 15, 2019 at 5:00 PM Michael Sullivan wrote: > > > > I've submitted PEP 591 (Adding a final qualifier to typing) for > discussion to typing-sig [1]. > > I'm not on typing-sig [1] so I'm replying here. > > > Here's the abstract:

Re: [Python-Dev] PEP 591 discussion (final qualifier) happening at typing-sig@

2019-04-15 Thread Nathaniel Smith
On Mon, Apr 15, 2019 at 5:00 PM Michael Sullivan wrote: > > I've submitted PEP 591 (Adding a final qualifier to typing) for discussion to > typing-sig [1]. I'm not on typing-sig [1] so I'm replying here. > Here's the abstract: > This PEP proposes a "final" qualifier to be added to the ``typing`

[Python-Dev] PEP 591 discussion (final qualifier) happening at typing-sig@

2019-04-15 Thread Michael Sullivan
I've submitted PEP 591 (Adding a final qualifier to typing) for discussion to typing-sig [1]. Here's the abstract: This PEP proposes a "final" qualifier to be added to the ``typing`` module---in the form of a ``final`` decorator and a ``Final`` type annotation---to serve three related purposes: *