Idiomatic C and Go programs aren't labeling everything with those types, and the language implementation enforces those types at compile time.

Since types are optional in Python, it's necessarily true that an "Any"-like type is prioritized since it's the default. Moreover, cpython doesn't check anything when it bytecode-compiles.

Any-by-default and no-built-in-checking feels pretty defanged to me.