On 10/7/2020 10:29 AM, Sebastian Kreft wrote:

There's already a proposal. See https://gist.github.com/MaggieMoss/c848cb3a581979f445d075c15629c950 and https://mail.python.org/archives/list/typing-sig@python.org/thread/SWAY6V7WZ...

I think this would conflict with https://bugs.python.org/issue41967, where Pablo suggests moving the annotations into the parser. Annotations would then need to be valid expressions, if I'm reading it correctly. It's probably possible to work around this, but I'm not sure what it would take. Eric

On Wed, Oct 7, 2020 at 9:50 AM Sebastian Noel Lübke mailto:sebastian@luebke.io> wrote:

Hey, python 3.9 introduced the | operator for union types. it would be nice to have something like that for optional types. maybe like

name: ? int or name: int ?

best regards Sebastian Lübke _______________________________________________ Python-ideas mailing list -- python-ideas@python.org mailto:python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org mailto:python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/UPQHZK... Code of Conduct: http://python.org/psf/codeofconduct/

-- Sebastian Kreft

_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/327HT6... Code of Conduct: http://python.org/psf/codeofconduct/

On 10/7/2020 1:18 PM, Guido van Rossum wrote:

Could you explain how Maggie's proposal (writing 'int?') would conflict with Pablo's proposal? IIUC Maggie's proposal would require 'int?' to become a valid expression.

(As I expressed in the typing-sig thread, I'm lukewarm about 'int?' because we will have 'int | None'. The same reasoning applies to '?int' FWIW.)

Well, Maggie's proposal says that int? would be a typing-specific syntax: "Should PEP 505 be approved in the future, it would not interfere with the typing specific |?| proposed in this PEP." My concern was just that Pablo's proposal (as I understand it) would mean there are no typing-specific expressions. Eric

On Wed, Oct 7, 2020 at 7:42 AM Eric V. Smith mailto:eric@trueblade.com> wrote:

On 10/7/2020 10:29 AM, Sebastian Kreft wrote:

...

There's already a proposal. See https://gist.github.com/MaggieMoss/c848cb3a581979f445d075c15629c950 and https://mail.python.org/archives/list/typing-sig@python.org/thread/SWAY6V7WZ...

I think this would conflict with https://bugs.python.org/issue41967, where Pablo suggests moving the annotations into the parser. Annotations would then need to be valid expressions, if I'm reading it correctly. It's probably possible to work around this, but I'm not sure what it would take.

Eric

...

On Wed, Oct 7, 2020 at 9:50 AM Sebastian Noel Lübke mailto:sebastian@luebke.io> wrote:

Hey, python 3.9 introduced the | operator for union types. it would be nice to have something like that for optional types. maybe like

name: ? int or name: int ?

best regards Sebastian Lübke _______________________________________________ Python-ideas mailing list -- python-ideas@python.org mailto:python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org mailto:python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/UPQHZK... Code of Conduct: http://python.org/psf/codeofconduct/

-- Sebastian Kreft

_______________________________________________ Python-ideas mailing list --python-ideas@python.org mailto:python-ideas@python.org To unsubscribe send an email topython-ideas-leave@python.org mailto:python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived athttps://mail.python.org/archives/list/python-ideas@python.org/message/327HT6... Code of Conduct:http://python.org/psf/codeofconduct/

_______________________________________________ Python-ideas mailing list -- python-ideas@python.org mailto:python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org mailto:python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/WW6DOO... Code of Conduct: http://python.org/psf/codeofconduct/

-- --Guido van Rossum (python.org/~guido http://python.org/~guido) /Pronouns: he/him //(why is my pronoun here?)/ http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...