Широко известен тезис, что любой язык допускает как компилируемую, так и интерпретируемую интерпретацию. Однако, есть и тезис, что языки с динамической природой (java, perl, ruby и всякое другое) компилировать глупо, тяжело или невозможно. Тем более что примеров компиляторов для них раз-два — навскидку gcj вспоминается, и всё.

Что мешает написать компилятор конкретно Питона? Ну кроме причин, озвученных выше.

Не понимаю, почему вы пишете «интерпретаторы». Они, конечно, не интерпретаторы в смысле строгого определения, но называть их просто «трансляторы» будет туповато — компилятор такой же транслятор. Я понимаю, что байт-код нужен для переносимости и прочего бла-бла; так если есть JIT, то почему бы сразу и не компилить в машинный код? По образу C#, например.

А что скажете конкретно по поводу Питона? Насчёт JIT я как-то не особо слышал. Да и вопрос был в том, что мешает написать компилятор.

О pypy не слышали (это, скорее, о JIT)?

Есть и nuitka, shedskin. О степени готовности к использованию ничего не скажу.