> I believe it is basically impossible for Python to win back all that performance loss without adopting radical and jarring features like static typing, machine-sized integers, and no more "every number is a full-fledged object".

Pypy is often quite a bit faster than CPython for real-world programs so clearly some improvement is possible.