René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Implement PEP 649 and PEP 749","articleBody":"PEP-649 has been accepted and should be implemented in Python 3.14. Let's use this issue to track the implementation:\n\n- [x] Decide on or clarify the adoption strategy (https://discuss.python.org/t/pep-649-deferred-evaluation-of-annotations-tentatively-accepted/21331/44)\n- [x] Add new `__annotate__` attributes #119209\n- [x] Implement core interpreter changes (e.g., new symbol table functionality) #119361\n- [x] Implement new Python-level APIs, like the new `format` argument to `inspect.get_annotations` #119891\n  - [x] (PEP-649 specifies that `inspect.AnnotationsFormat` should be a \"global enum\". Is that desirable? TBD. https://github.com/python/cpython/pull/119361/files#r1614753031)\n- [x] Document the new semantics #122235 \n  - [ ] Add higher-level documentation, e.g. a migration guide away from `from __future__ import annotations`; an introduction to annotationlib; an update to Larry's annotations HOWTO\n  - [ ] The SC would like https://peps.python.org/pep-0749/#appendix incorporated into the docs\n- [x] Make staticmethod and classmethod not force evaluation of annotations #119864\n- [x] Adapt standard library code that uses annotations to work excellently with PEP 649\n  - [x] dataclasses #119891\n  - [x] typing.py: TypedDict, NamedTuple, try to remove dependency on `inspect`. (If it can't be removed, get rid of the awkward dance we do for `typing.Protocol` to import `inspect.getattr_static` lazily.)\n  - [x] singledispatch #119891\n    - [x] Also make it only evaluate the relevant parameter, https://github.com/python/cpython/pull/119891#discussion_r1636397226\n  - [x] functools.update_wrapper #119891, #124342\n- [x] Add PEP 649-like functionality to TypeAliasType, TypeVar, etc. (`pep649-typevar` branch in my fork)\n- [ ] Make sure the ecosystem is ready by testing third-party libraries like Pydantic\n  - [x] typing_extensions: needs changes similar to those in typing.py (python/typing_extensions#412)\n  - [ ] beartype: had various unrelated problems on 3.13 (beartype/beartype#387); a few additional tests fail on the PR branch due to direct manipulation of `__dict__`\n  - [ ] typeguard: some unrelated 3.13 problems (agronholm/typeguard#460); no test failures related to PEP 649\n  - [ ] pyanalyze: some unrelated 3.13 issues and a few changes necessary due to direct `__dict__` access (quora/pyanalyze#773)\n  - [ ] pydantic: failed to build for 3.14 so far\n- [ ] Optimize the implementation. Ideas:\n  - [ ] Avoid creation of function objects and store only code objects instead #124157\n  - [x] Avoid creation of AST nodes and use of eval() for ForwardRefs that are just names #124337\n\nThings to revisit:\n\n- [x] Should FORWARDREF be the default? https://github.com/beartype/beartype/pull/440#issuecomment-2373086020\n- [x] Add VALUE_WITH_FAKE_GLOBALS format\n- [x] Name of `__annotate__` parameter\n- [x] Should setting `__annotations__` invalidate `__annotate__`?\n- [x] Rename SOURCE to STRING?\n\nI am planning to work on the interpreter core first.\n\ncc @larryhastings @carljm @samuelcolvin \n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-119209\n* gh-119321\n* gh-119361\n* gh-119397\n* gh-119864\n* gh-119891\n* gh-120719\n* gh-120816\n* gh-122074\n* gh-122210\n* gh-122212\n* gh-122235\n* gh-122365\n* gh-122366\n* gh-124326\n* gh-124337\n* gh-124393\n* gh-124415\n* gh-124461\n* gh-124479\n* gh-124561\n* gh-124620\n* gh-124634\n* gh-124730\n* gh-131755\n* gh-133407\n* gh-133552\n* gh-133841\n* gh-133902\n* gh-133903\n* gh-134640\n* gh-134731\n* gh-135644\n* gh-135654\n* gh-137247\n* gh-137263\n* gh-143758\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/JelleZijlstra","@type":"Person","name":"JelleZijlstra"},"datePublished":"2024-05-19T15:34:32.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":9},"url":"https://github.com/119180/cpython/issues/119180"}