René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Add `typing.get_protocol_members` and `typing.is_protocol`","articleBody":"#103160 added an attribute `__protocol_attrs__` that holds the names of all protocol attributes:\r\n\r\n```\r\n\u003e\u003e\u003e from typing import Protocol\r\n\u003e\u003e\u003e class X(Protocol):\r\n...     a: int\r\n...     def b(self) -\u003e str: pass\r\n... \r\n\u003e\u003e\u003e X.__protocol_attrs__\r\n{'b', 'a'}\r\n```\r\n\r\nThis is useful for code that needs to extract the names included in a Protocol at runtime. Previously, this was quite difficult, as you had to look at the class's `__dict__` and `__annotations__` directly and exclude a long list of internal attributes (e.g. https://github.com/quora/pyanalyze/blob/bd7f520adc2d8b098be657dfa514d1433bea3b0c/pyanalyze/checker.py#L428).\r\n\r\nHowever, currently `__protocol_attrs__` is an undocumented private attribute. I think we should either document it or add an introspection helper like `typing.get_protocol_attrs()` that exposes it.\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-104878\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/JelleZijlstra","@type":"Person","name":"JelleZijlstra"},"datePublished":"2023-05-24T16:21:18.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":12},"url":"https://github.com/104873/cpython/issues/104873"}