Allow writing optional types as ?int
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
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... On Wed, Oct 7, 2020 at 9:50 AM Sebastian Noel Lübke <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 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/UPQHZK... Code of Conduct: http://python.org/psf/codeofconduct/
-- Sebastian Kreft
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 <sebastian@luebke.io <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/
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.) On Wed, Oct 7, 2020 at 7:42 AM Eric V. Smith <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 <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 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/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.orghttps://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/
_______________________________________________ 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/WW6DOO... Code of Conduct: http://python.org/psf/codeofconduct/
-- --Guido van Rossum (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-change-the-world/>
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 <eric@trueblade.com <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 <sebastian@luebke.io <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-change-the-world/>
participants (4)
-
Eric V. Smith -
Guido van Rossum -
Sebastian Kreft -
Sebastian Noel Lübke