[issue46754] Improve Python Language Reference based on [Köhl 2020]

Jelle Zijlstra added the comment: Some specific points from the document: "While the PLR explicitly states that “x < y calls x.__lt__(y)” [20, 3.3.1.] this is actually false." They had to read the implementation to actually figure out how this works. "If no expression is provided, the PLR

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Guido van Rossum added the comment: Another: - The description of this name binding and resolution process in the PLR [20, §4.2.] is unfortunately not particularly clear. (I found this to be the case too, and wrote up what I found: https://gvanrossum.github.io/formal/scopesblog.html

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Guido van Rossum added the comment: A few examples of issues brought up by Kohl: - While the PLR explicitly states that “x < y calls x.__lt__(y)” [20, §3.3.1.] this is actually false. There are cases where x < y does not call x.__lt__(y) and there are other cases where x.__lt__(y) is

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Change by Brandt Bucher : -- nosy: +brandtbucher ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Change by Dong-hee Na : -- nosy: +corona10 ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Change by Alex Waygood : -- keywords: -patch nosy: -AlexWaygood stage: patch review -> ___ Python tracker ___ ___

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Change by Alex Waygood : -- pull_requests: -29560 ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue46754] Improve Python Language Reference based on [Köhl 2020]

Change by Alex Waygood : -- keywords: +patch nosy: +AlexWaygood nosy_count: 1.0 -> 2.0 pull_requests: +29560 stage: -> patch review pull_request: https://github.com/python/cpython/pull/29479 ___ Python tracker

[issue46754] Improve Python Language Reference based on [Köhl 2020]

New submission from Guido van Rossum : In https://arxiv.org/pdf/2109.03139.pdf ("M Köhl, An Executable Structural Operational Formal Semantics for Python, Master Thesis 2020 Saarland University) there are some observations on cases where the Language Reference (referred to as PLR) is