Am 29.06.22 um 00:53 schrieb Eric Traut:
I'd like to thank everyone who attended today's typing meetup and provided feedback on the proposal.
Also, apart from syntax bikeshedding, my main concern is the implementation side. During the presentation, Eric mentioned that he tried various approaches that all didn't work for various reasons. The solution he came up with works, but to me - not having intimate knowledge how the Python interpreter and scoping in Python works - it sounded a bit "hacky" and as if it could introduce unforeseen conflicts with how people expect scoping in Python to work. In the past, Python has often opted for a more generic approach in cases like these, that often opened up new design space. The best example is probably the descriptor protocol that goes far beyond only enabling @property. Maybe we could take a step back and think about a more general approach to the scoping problem. This isn't the most pragmatic approach, but would probably be better for Python as a whole in the long term and might increase our chances of acceptance by both the SC and the Python community. (But again: I might have misunderstood the potential problems in Eric's approach.)