> Ну так обычный Cython делает код, который в 2 раза медленнее C в тестах с обычной арифметикой, что вполне достойно

Но только если не подключать интринсики, которые могут дать еще x3-10.
Ну и все-таки обычно одной арифметикой дело не ограничивается -- байтики тоже  обрабатывать и передвигать надо.
Это в принципе можно сделать достаточно шустро и в питоне/сайтоне, если знать реализацию внутренностей и представлять результат.
И этого (щас меня аминусуют за еретические речи :)) нельзя сделать "автоматом" даже на сишке, если не иметь никакого представления "как это должно работать" - т.е. серебрянная пуля отменяется.

Хотя конечно vala в качестве обертки над самим ГТК - вполне разумный компромисс. С этим я не спорю.