[Python-Dev] Re: SC Acceptance: PEP 646 -- Variadic Generics

2022-01-19 Thread Matthew Rahtz via Python-Dev 
Fantastic, Petr! Thanks for letting us know - and thank you once again for
your patience with our last-minute changes! We'll go ahead and mark the PEP
as accepted, and merge our CPython implementation soon.

On Wed, 19 Jan 2022 at 08:34, Petr Viktorin  wrote:

> On 17. 11. 21 23:47, Barry Warsaw wrote:
> > Hello Mark, Matthew, Pradeep, Vincent, and Guido,
> >
> > The Python Steering Council discussed the latest version of PEP 646
> (Variadic Generics) at our last meeting, and have unanimously decided to
> accept the PEP.  Congratulations!
> >
> > We want to specifically mention that we appreciate the way you called
> out the Python grammar changes required by the typing features you
> proposed.  As we’ve said before, the Steering Council strongly believes
> that the typing language and the “general” Python programming language
> should remain aligned, so the implications of syntax change proposed in the
> PEP for typing needed to be addressed for non-typed Python as well.  The
> PEP explains this change well, and does a good job of justifying the
> semantics and usefulness of the change for non-type related purposes.
> >
> > Please feel free to change the PEP status to Accepted, and to merge your
> changes to Python 3.11 at your convenience.
> >
> > With our appreciation,
> > -Barry (on behalf of the Python Steering Council)
>
>
> Hello Mark, Matthew, Pradeep, Vincent, and Guido,
>
> The 2022 Python Steering Council discussed the updated PEP 646 --
> Variadic Generics, and decided to accept the PEP again, with the
> following note:
>
>The details around multiple unpackings in a type expression aren't
>specified precisely. This gives individual type checkers some leeway,
>but can be tightened in future PEPs.
>
> Please feel free to change the PEP status to Accepted and add the note
> to it, and merge your changes to Python 3.11.
>
> As Barry mentioned previously, we appreciate justifying the changes for
> non-typed Python as well.
>
>
> Thank you for your patience as we set up the new SC, and happy typing!
> - Petr (on behalf of the Python Steering Council)
>
___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/HSVDU4YJFOAEBS3NIE77UVEF7G34DZ7Q/
Code of Conduct: http://python.org/psf/codeofconduct/

[Python-Dev] Re: SC Acceptance: PEP 646 -- Variadic Generics

2021-11-19 Thread Matthew Rahtz via Python-Dev 
Thanks, Brett. We'll notify you once we've resolved the issue.

On Thu, 18 Nov 2021 at 19:30, Brett Cannon  wrote:

> I put the PEP back on our agenda to discuss this.
>
> On Wed, Nov 17, 2021 at 2:40 PM Guido van Rossum  wrote:
>
>> Hi Barry,
>>
>> That's fantastic news!
>>
>> Somewhat embarrassingly, on typing-sig we're still discussing one or two
>> final tweaks. In particular, the PEP as accepted forbids a certain
>> construct (passing a tuple of indefinite length to a function using `*args:
>> *Ts`) that after all we may actually want to allow. This would affect
>> static type checkers only, there's no change in the grammar or runtime
>> associated with lifting this restriction. See
>> https://github.com/python/peps/pull/2125
>>
>> I presume the SC is okay with that?
>>
>> --Guido
>>
>> On Wed, Nov 17, 2021 at 2:15 PM Barry Warsaw  wrote:
>>
>>> Hello Mark, Matthew, Pradeep, Vincent, and Guido,
>>>
>>> The Python Steering Council discussed the latest version of PEP 646
>>> (Variadic Generics) at our last meeting, and have unanimously decided to
>>> accept the PEP.  Congratulations!
>>>
>>> We want to specifically mention that we appreciate the way you called
>>> out the Python grammar changes required by the typing features you
>>> proposed.  As we’ve said before, the Steering Council strongly believes
>>> that the typing language and the “general” Python programming language
>>> should remain aligned, so the implications of syntax change proposed in the
>>> PEP for typing needed to be addressed for non-typed Python as well.  The
>>> PEP explains this change well, and does a good job of justifying the
>>> semantics and usefulness of the change for non-type related purposes.
>>>
>>> Please feel free to change the PEP status to Accepted, and to merge your
>>> changes to Python 3.11 at your convenience.
>>>
>>> With our appreciation,
>>> -Barry (on behalf of the Python Steering Council)
>>>
>>>
>>
>> --
>> --Guido van Rossum (python.org/~guido)
>> *Pronouns: he/him **(why is my pronoun here?)*
>> 
>> ___
>> Python-Dev mailing list -- python-dev@python.org
>> To unsubscribe send an email to python-dev-le...@python.org
>> https://mail.python.org/mailman3/lists/python-dev.python.org/
>> Message archived at
>> https://mail.python.org/archives/list/python-dev@python.org/message/YBSS4FJ474TJ23XOUSFI5E6N7GAXB3T5/
>> Code of Conduct: http://python.org/psf/codeofconduct/
>>
>
___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/BW4SCUPAUO7LOXAFXY4MH6SCFUYQ6TCS/
Code of Conduct: http://python.org/psf/codeofconduct/

[Python-Dev] Re: SC Acceptance: PEP 646 -- Variadic Generics

2021-11-18 Thread Matthew Rahtz via Python-Dev 
Hi Barry,

Absolutely fantastic - thank you for letting us know! As Guido says,
there's one final thing that we thought would be easy to resolve but has
actually turned out to be a little tricky. Happy to proceed as you think is
best here.

Matthew

On Wed, 17 Nov 2021 at 22:33, Guido van Rossum  wrote:

> Hi Barry,
>
> That's fantastic news!
>
> Somewhat embarrassingly, on typing-sig we're still discussing one or two
> final tweaks. In particular, the PEP as accepted forbids a certain
> construct (passing a tuple of indefinite length to a function using `*args:
> *Ts`) that after all we may actually want to allow. This would affect
> static type checkers only, there's no change in the grammar or runtime
> associated with lifting this restriction. See
> https://github.com/python/peps/pull/2125
>
> I presume the SC is okay with that?
>
> --Guido
>
> On Wed, Nov 17, 2021 at 2:15 PM Barry Warsaw  wrote:
>
>> Hello Mark, Matthew, Pradeep, Vincent, and Guido,
>>
>> The Python Steering Council discussed the latest version of PEP 646
>> (Variadic Generics) at our last meeting, and have unanimously decided to
>> accept the PEP.  Congratulations!
>>
>> We want to specifically mention that we appreciate the way you called out
>> the Python grammar changes required by the typing features you proposed.
>> As we’ve said before, the Steering Council strongly believes that the
>> typing language and the “general” Python programming language should remain
>> aligned, so the implications of syntax change proposed in the PEP for
>> typing needed to be addressed for non-typed Python as well.  The PEP
>> explains this change well, and does a good job of justifying the semantics
>> and usefulness of the change for non-type related purposes.
>>
>> Please feel free to change the PEP status to Accepted, and to merge your
>> changes to Python 3.11 at your convenience.
>>
>> With our appreciation,
>> -Barry (on behalf of the Python Steering Council)
>>
>>
>
> --
> --Guido van Rossum (python.org/~guido)
> *Pronouns: he/him **(why is my pronoun here?)*
> 
>
___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/2HNXWLHXRRJGP75SN2W7RHM2TIJVKWL6/
Code of Conduct: http://python.org/psf/codeofconduct/

[Python-Dev] Re: SC Acceptance: PEP 646 -- Variadic Generics

2021-11-18 Thread Brett Cannon 
I put the PEP back on our agenda to discuss this.

On Wed, Nov 17, 2021 at 2:40 PM Guido van Rossum  wrote:

> Hi Barry,
>
> That's fantastic news!
>
> Somewhat embarrassingly, on typing-sig we're still discussing one or two
> final tweaks. In particular, the PEP as accepted forbids a certain
> construct (passing a tuple of indefinite length to a function using `*args:
> *Ts`) that after all we may actually want to allow. This would affect
> static type checkers only, there's no change in the grammar or runtime
> associated with lifting this restriction. See
> https://github.com/python/peps/pull/2125
>
> I presume the SC is okay with that?
>
> --Guido
>
> On Wed, Nov 17, 2021 at 2:15 PM Barry Warsaw  wrote:
>
>> Hello Mark, Matthew, Pradeep, Vincent, and Guido,
>>
>> The Python Steering Council discussed the latest version of PEP 646
>> (Variadic Generics) at our last meeting, and have unanimously decided to
>> accept the PEP.  Congratulations!
>>
>> We want to specifically mention that we appreciate the way you called out
>> the Python grammar changes required by the typing features you proposed.
>> As we’ve said before, the Steering Council strongly believes that the
>> typing language and the “general” Python programming language should remain
>> aligned, so the implications of syntax change proposed in the PEP for
>> typing needed to be addressed for non-typed Python as well.  The PEP
>> explains this change well, and does a good job of justifying the semantics
>> and usefulness of the change for non-type related purposes.
>>
>> Please feel free to change the PEP status to Accepted, and to merge your
>> changes to Python 3.11 at your convenience.
>>
>> With our appreciation,
>> -Barry (on behalf of the Python Steering Council)
>>
>>
>
> --
> --Guido van Rossum (python.org/~guido)
> *Pronouns: he/him **(why is my pronoun here?)*
> 
> ___
> Python-Dev mailing list -- python-dev@python.org
> To unsubscribe send an email to python-dev-le...@python.org
> https://mail.python.org/mailman3/lists/python-dev.python.org/
> Message archived at
> https://mail.python.org/archives/list/python-dev@python.org/message/YBSS4FJ474TJ23XOUSFI5E6N7GAXB3T5/
> Code of Conduct: http://python.org/psf/codeofconduct/
>
___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/VRB3NJKZ4ZDKXY64EHCICVX4FMLB5BDV/
Code of Conduct: http://python.org/psf/codeofconduct/

[Python-Dev] Re: SC Acceptance: PEP 646 -- Variadic Generics

2021-11-17 Thread Guido van Rossum 
Hi Barry,

That's fantastic news!

Somewhat embarrassingly, on typing-sig we're still discussing one or two
final tweaks. In particular, the PEP as accepted forbids a certain
construct (passing a tuple of indefinite length to a function using `*args:
*Ts`) that after all we may actually want to allow. This would affect
static type checkers only, there's no change in the grammar or runtime
associated with lifting this restriction. See
https://github.com/python/peps/pull/2125

I presume the SC is okay with that?

--Guido

On Wed, Nov 17, 2021 at 2:15 PM Barry Warsaw  wrote:

> Hello Mark, Matthew, Pradeep, Vincent, and Guido,
>
> The Python Steering Council discussed the latest version of PEP 646
> (Variadic Generics) at our last meeting, and have unanimously decided to
> accept the PEP.  Congratulations!
>
> We want to specifically mention that we appreciate the way you called out
> the Python grammar changes required by the typing features you proposed.
> As we’ve said before, the Steering Council strongly believes that the
> typing language and the “general” Python programming language should remain
> aligned, so the implications of syntax change proposed in the PEP for
> typing needed to be addressed for non-typed Python as well.  The PEP
> explains this change well, and does a good job of justifying the semantics
> and usefulness of the change for non-type related purposes.
>
> Please feel free to change the PEP status to Accepted, and to merge your
> changes to Python 3.11 at your convenience.
>
> With our appreciation,
> -Barry (on behalf of the Python Steering Council)
>
>

-- 
--Guido van Rossum (python.org/~guido)
*Pronouns: he/him **(why is my pronoun here?)*

___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/YBSS4FJ474TJ23XOUSFI5E6N7GAXB3T5/
Code of Conduct: http://python.org/psf/codeofconduct/