[PYTHON] Ich habe PEP 604 (Komplementäre Syntax für Union []) gelesen.

Ich habe gehört, dass der Microsoft-Checker für Python pyright die neuesten Spezifikationen unterstützt, und ich habe die README-Datei gescannt, sie aber noch nicht angesehen. PEP 604 (Komplementäre Syntax für Union []) wurde aufgelistet, also habe ich einen Blick darauf geworfen. Übrigens werde ich im nächsten Artikel über PEP-612 schreiben.

Überblick

• Ist es nicht ärgerlich, jedes Mal "Union [int, str]" zu schreiben?
• Schreiben wir "int | str" wie Scala
• Verwenden wir nicht nur Typanmerkungen, sondern auch "isinstance ()" und "issubclass ()"

Ansatz

• Ermöglichen Sie das Erstellen eines Typensatzes, indem Sie Typen mit | verbinden

das ist alles.

Beispiel

Das Beispiel in PEP ist selbsterklärend, daher werde ich es nicht erklären.

# in place of
# def f(list: List[Union[int, str]], param: Optional[int]) -> Union[float, str]
def f(list: List[int | str], param: int | None) -> float | str:
    pass

f([1, "abc"], None)

assert str | int == Union[str,int]
assert str | int | float == Union[str, int, float]

assert isinstance("", int | str)
assert issubclass(bool, int | float)

Impressionen

• Ehrlich gesagt ist es nicht gut ...
• Es sieht nicht sehr seltsam aus, wenn Sie es in Scala sehen, aber wenn Sie es als Python sehen, ist es nur so, dass Sie einfach nicht daran gewöhnt sind.
• Es ist einfacher, Union zu schreiben, aber es ist nicht sehr vorteilhaft, List [int | str] zu schreiben ...
• Da es sich noch um einen Entwurf handelt, wurde die Annahme noch nicht entschieden