René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Generate the interpreter","articleBody":"### Overview\r\n\r\nOver in [faster-cpython/ideas](https://github.com/faster-cpython/ideas) we've been exploring the idea of generating the interpreter from a set of instruction definitions. This will eventually enable having multiple versions of the interpreter (e.g. with and without tracing enabled), and it will allow us to automatically combine instructions using a powerful notation (e.g. `super(LOAD_FAST__LOAD_FAST) = LOAD_FAST + LOAD_FAST;`). It will also let us auto-generate things like [`stack_effect()`](https://github.com/gvanrossum/cpython/blob/75a6fadf369315b27e12f670e6295cf2c2cf7d7e/Python/compile.c#L1031).\r\n\r\nWe are planning to land at least an early version of this work in 3.12. We have a tentative grammar for [instruction definition DSL](https://github.com/faster-cpython/ideas/blob/main/3.12/interpreter_definition.md) -- which will undoubtedly undergo several iterations before we've settled. We have a [first draft of the tooling](https://github.com/python/cpython/pull/98830) ~ready for review (which currently reproduces the status quo)~ done.\r\n\r\nOnce the first version of the tooling has landed we expect to iterate quickly, using this issue an umbrella issue for our PRs to link to.\r\n\r\n### References\r\n\r\n- https://github.com/faster-cpython/ideas/issues/5\r\n- https://github.com/faster-cpython/ideas/issues/16\r\n- https://github.com/faster-cpython/ideas/issues/454\r\n- https://github.com/faster-cpython/ideas/issues/477\r\n- https://github.com/faster-cpython/ideas/issues/479\r\n- https://github.com/faster-cpython/ideas/issues/481\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-98830 --\u003e\r\n* PR: gh-98830\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99065 --\u003e\r\n* PR: gh-99065\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99084 --\u003e\r\n* PR: gh-99084\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99093 --\u003e\r\n* PR: gh-99093\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99102 --\u003e\r\n* PR: gh-99102\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99107 --\u003e\r\n* PR: gh-99107\r\n\u003c!-- /gh-pr-number --\u003e\r\n\r\n\r\n\u003c!-- gh-pr-number: gh-99120 --\u003e\r\n* PR: gh-99120\r\n\u003c!-- /gh-pr-number --\u003e\r\n\n\n\u003c!-- gh-pr-number: gh-99271 --\u003e\n* PR: gh-99271\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99313 --\u003e\n* PR: gh-99313\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99408 --\u003e\n* PR: gh-99408\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99495 --\u003e\n* PR: gh-99495\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99526 --\u003e\n* PR: gh-99526\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99601 --\u003e\n* PR: gh-99601\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-99764 --\u003e\n* PR: gh-99764\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100095 --\u003e\n* PR: gh-100095\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100123 --\u003e\n* PR: gh-100123\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100124 --\u003e\n* PR: gh-100124\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100205 --\u003e\n* PR: gh-100205\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100545 --\u003e\n* PR: gh-100545\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100763 --\u003e\n* PR: gh-100763\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100735 --\u003e\n* PR: gh-100735\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100777 --\u003e\n* PR: gh-100777\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100778 --\u003e\n* PR: gh-100778\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100895 --\u003e\n* PR: gh-100895\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100912 --\u003e\n* PR: gh-100912\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-100957 --\u003e\n* PR: gh-100957\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101116 --\u003e\n* PR: gh-101116\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101163 --\u003e\n* PR: gh-101163\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101269 --\u003e\n* PR: gh-101269\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101287 --\u003e\n* PR: gh-101287\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101299 --\u003e\n* PR: gh-101299\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101306 --\u003e\n* PR: gh-101306\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101309 --\u003e\n* PR: gh-101309\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101333 --\u003e\n* PR: gh-101333\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101349 --\u003e\n* PR: gh-101349\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101442 --\u003e\n* PR: gh-101442\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101443 --\u003e\n* PR: gh-101443\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101458 --\u003e\n* PR: gh-101458\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101481 --\u003e\n* PR: gh-101481\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101488 --\u003e\n* PR: gh-101488\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101502 --\u003e\n* PR: gh-101502\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101511 --\u003e\n* PR: gh-101511\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101508 --\u003e\n* PR: gh-101508\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101516 --\u003e\n* PR: gh-101516\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101529 --\u003e\n* PR: gh-101529\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101620 --\u003e\n* PR: gh-101620\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101626 --\u003e\n* PR: gh-101626\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101627 --\u003e\n* PR: gh-101627\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101628 --\u003e\n* PR: gh-101628\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101629 --\u003e\n* PR: gh-101629\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101641 --\u003e\n* PR: gh-101641\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101666 --\u003e\n* PR: gh-101666\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-101704 --\u003e\n* PR: gh-101704\n\u003c!-- /gh-pr-number --\u003e\n\n\n\u003c!-- gh-pr-number: gh-102409 --\u003e\n* PR: gh-102409\n\u003c!-- /gh-pr-number --\u003e\n","author":{"url":"https://github.com/gvanrossum","@type":"Person","name":"gvanrossum"},"datePublished":"2022-10-28T22:18:49.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/98831/cpython/issues/98831"}