On: Codon: A high-performance Python-like compiler usi...

[qwefsdf]

That's an Optional[int]. It's not "mixed types", it's a union type.

[ris → qwefsdf]

That is merely a detail of how the typing module has decided to set up convenient aliases. Treated by the language (and likely compilers) as different types.