Message 377277 - 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	gvanrossum
Recipients	BvB93, Mark.Shannon, eric.smith, gvanrossum, joshbode, levkivskyi, serhiy.storchaka
Date	2020-09-21.19:42:12
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<[email protected]>
In-reply-to

Content
Thanks! Most of the deleted types are builtins (e.g. object, int). I assume the reasoning was just that if you wanted the type you could just write type(Ellipsis), type(None) etc. But that's too dynamic for static checkers, so we want some stable name for those back. Do any of the other deleted types strike you as possibly needing to come back?

Thanks! Most of the deleted types *are* builtins (e.g. object, int). I assume the reasoning was just that if you wanted the type you could just write type(Ellipsis), type(None) etc.

But that's too dynamic for static checkers, so we want *some* stable name for those back. Do any of the other deleted types strike you as possibly needing to come back?

History
Date	User	Action	Args
2020-09-21 19:42:12	gvanrossum	set	recipients: + gvanrossum, eric.smith, Mark.Shannon, serhiy.storchaka, levkivskyi, BvB93, joshbode
2020-09-21 19:42:12	gvanrossum	set	messageid: <[email protected]>
2020-09-21 19:42:12	gvanrossum	link	issue41810 messages
2020-09-21 19:42:12	gvanrossum	create