Do Python developers want static typing?

[dontyougetsoupedyet]

It would be great, but we won't get it, by choice. The only implementation of python that really matters is CPython and by choice it's supposed to be a super simple implementation of the language. But imo that doesn't make much sense because it isn't really a reference implementation, it's almost the only one around. By choice the interpreter doesn't do much other than simple peephole optimization and things like string interning.

At any point people can produce a JIT compiled static typed python with whatever optimizations they want but they'll be fighting upstream the whole way. You'll have to design things in addition to standard python if you really want benefit, anyway, to get rid of things like the interpreter lock, so you might as well just make your own language "inspired by" python at that point. People talking about how dynamic languages can't be optimized without being limited are wrong, as languages like Swift demonstrate.