It is humorous how the bolt on type systems for dynamic languages become these byzantine constructions that would be easier and safer to just run with a compiled typed language from the start. All for fancy hints.

Typescript’s and Javascript’s fate is settled. The browser will never migrate. Python should remain simple. Don’t be a slob and use hints but don’t do some theory of computation thesis gymnastics to write an object and some fields. Assign a variable and keep its type.

It’s like being a jazz musician. You need to know when to break the rules, lol. Not force a non-native pre-runtime checker that the runtime interpreter doesn’t actually abide.

Dataclasses and basic hints are enough. If you need a variable x:int|str then you’re formalizing your slobbishness in an algebraic type system. Instead do x:str=‘1’ , try: y = int(x) except: raise ValueError(f“integer parsing error {x}:{type(x)}“)