J'ai lu PEP 604 (syntaxe complémentaire pour Union []).

Quand j'ai entendu dire que le vérificateur de Microsoft pour Python pyright prend en charge les dernières spécifications et scanné README, je ne l'avais pas regardé jusqu'à présent. PEP 604 (syntaxe complémentaire pour Union []) était répertorié, alors j'ai jeté un coup d'œil. En passant, j'écrirai sur PEP-612 dans le prochain article.

Aperçu

• N'est-ce pas ennuyeux d'écrire ʻUnion [int, str] `à chaque fois?
• Écrivons ʻint | str` comme Scala
• Utilisons non seulement des annotations de type mais aussi ʻisinstance () ʻ et ʻissubclass () `

approche

• Rendre possible la création d'un ensemble de types en connectant des types avec |

c'est tout.

Exemple

L'exemple en PEP est explicite, donc je ne l'expliquerai pas.

# 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)

Impressions

• Honnêtement, ce n'est pas bon ...
• Cela n'a pas l'air très étrange quand vous le voyez dans Scala, mais quand vous le voyez comme Python, c'est juste que vous n'y êtes pas habitué.
• Ecrire Union est plus facile, mais écrire List [int | str] n'est pas très bénéfique ...
• Puisqu'il s'agit d'un projet, l'adoption n'a pas encore été décidée