search

python / typing-council

Decisions by the Python Typing Council
41 stars 3 forks source link

PEP 742: Narrowing types with TypeIs #21

Closed JelleZijlstra closed 4 months ago

JelleZijlstra commented 5 months ago

Please provide a recommendation on PEP 742, which is being discussed in https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613.

gvanrossum commented 5 months ago

We had a vote on Discord. A large majority of the TC is in favor of accepting PEP 742 and everyone supports the name TypeIs. I will next announce this outcome on Discourse and submit PEP 742 to the SC (with a bit of background about why we prefer PEP 742 over PEP 724).

gvanrossum commented 5 months ago

Steering council issue: https://github.com/python/steering-council/issues/238