Message 388851 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author	kj
Recipients	gvanrossum, kj, levkivskyi, paul-dest
Date	2021-03-16.16:01:31
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1615910491.5.0.449377581696.issue43512@roundup.psfhosted.org>
In-reply-to

Content
Apologies if I misunderstood something, but doesn't PEP 544 also state in its "Rationale", "Non-goals" subsection that """ At runtime, protocol classes will be simple ABCs. There is no intent to provide sophisticated runtime instance and class checks against protocol classes. This would be difficult and error-prone and will contradict the logic of PEP 484. """ https://www.python.org/dev/peps/pep-0544/#non-goals Which means that the Python runtime isn't supposed to check that, instead it's the static type checker's responsibility?

Apologies if I misunderstood something, but doesn't PEP 544 also state in its "Rationale", "Non-goals" subsection that

"""
At runtime, protocol classes will be simple ABCs. There is no intent to provide sophisticated runtime instance and class checks against protocol classes. This would be difficult and error-prone and will contradict the logic of PEP 484.
"""

https://www.python.org/dev/peps/pep-0544/#non-goals

Which means that the Python runtime isn't supposed to check that, instead it's the static type checker's responsibility?

History
Date	User	Action	Args
2021-03-16 16:01:31	kj	set	recipients: + kj, gvanrossum, levkivskyi, paul-dest
2021-03-16 16:01:31	kj	set	messageid: <1615910491.5.0.449377581696.issue43512@roundup.psfhosted.org>
2021-03-16 16:01:31	kj	link	issue43512 messages
2021-03-16 16:01:31	kj	create