Есть понимание, почему некоторые языки производительные, а другие не очень? Например питон, руби, js. Js когда-то был тормозом, но потом пришёл гугл. Неужели ускорение стоит так дорого? Внедрять jit? Или это специфика языков. Какие-то проще оптимизировать?
У статически типизированных языков обычно есть «ограничения», которые позволяют легко выполнять оптимизации. Например, список полей класса известен во время компиляции, и обращения к полям можно сразу делать по смещению. В джиесе же ограничений нет, поэтому компилятору не за что зацепиться. Любое поле можно удалить или добавить на лету, значит обращение к полям - это поиск в словаре по строке. Типы неизвестны, поэтому все примитивные значения должны быть обернуты. Тут лишняя проверка, там лишний indirect call, и в итоге все работает на порядок-два медленнее, чем могло бы. Чтобы в таких условиях что-либо вообще соптимизировать, нужно выполнять безумно сложный анализ. И более того, код может в любой момент выполнить какое-то неожиданное действие, которое заставит оптимизацию откатить и вернуться к «базовой» версии.