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 <[email protected]> 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  <[email protected]>
>
_______________________________________________
Python-ideas mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/NBW4UU4SNCEBXLCBZWNL2AUIBPIA6C33/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to