Почему JITted-реализации Python по-прежнему медленны?

Я понимаю, почему накладные расходы на интерпретацию дороги, но почему JITted-реализации Python (Psyco и PyPy) все еще намного медленнее, чем другие JITted-языки, такие как C # и Java?

Edit: Я также понимаю, что все является объектом, динамическая типизация дорогостоящая и т. д. Однако я не уверен, почему это важно для функций, в которых можно вывести типы.