With PEP 563, there's no runtime behaviors.

It's strange to accept :

def f() -> int | str: ...

but not

a = int | str

The operator type.__or__() is called only if the user known what they do. it's
strictly equivalent to

a = Union[int,str]

So, I think it's important to add this operator in root type.



Le jeu. 29 août 2019 à 14:55, Inada Naoki <songofaca...@gmail.com> a écrit :

> I don't want to add runtime behaviors for static type hinting.
>
> There is PEP 563 instead.
> Tools like mypy can implement them without touching runtime behavior.
>
>
> --
> Inada Naoki  <songofaca...@gmail.com>
>
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@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/NBW4UU4SNCEBXLCBZWNL2AUIBPIA6C33/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to