TypeScript had this _exact_ same problem when it started out. As more libraries add annotations, the ecosystem will become stronger, and it will eventually be about as good as a "real" statically typed language.

> Dynamic idioms in general, including something as common as string-indexed dictionaries, negate type checking.

Do you have any proof of this? It hasn't been a problem in TypeScript, and I doubt it's an issue in Python