My concern about this is that typed Python doesn't seem nearly as much of a feat of engineering as Typescript is. It seems like a "simplistic" typing system as

My concern about this is that typed Python doesn't seem nearly as much of a feat of engineering as Typescript is. It seems like a "simplistic" typing system as opposed to a fully thought out compile-time programming language (Rust probably also is a fully thought out one, but Rust doesn't have the untyped equivalent).