Like client-server vs local, progress is a cycle.
If your language is inherently heap bound and/or targets bytecode with ad-hoc JIT trickery, no amount of static typing or hard inference is going to help.
C (static typed, static dispatch, manual memory, x1) -> C++ / Objective-C (static typed, dynamic dispatch, manual / refcount memory, x2) -> Java (static typed, dynamic dispatch, GC memory, x3) -> JavaScript (dynamic type, dynamic dispatch, GC memory, x7)
Java is a actually fairly fast for a language with GC. Far faster than equivalent javascript unless you do things like asm.js, which might as well be just a binary runtime.
And it's not setting any speed records among automatic memory management languages either. Swift is well ahead in performance without breaking a sweat. Some Common Lisp implementations generate faster code than Java without any JIT overhead and a billion investment into development.
It doesn't use full automatic GC, so of course it is going to be faster than Java.
Swift also has performance gotchas, like it's strings. It's strings are very easy to use in an non-performant way because they are going for full unicode correctness, even when you don't want it.
But it's also a young language with a whole bunch of low hanging fruit in the perf realm.
My perf scale is also more orientated towards business logic / app type things. If your really thinking about your perf and doing a rewrite in fully static C/C++, then I have no idea how much better you can get :)
Is common lisp fully GC?
And yes, CL is fully GC. But my point is that's not the culprit. If your problem calls for allocation and management of heap memory, it has to be done one way or another, manually or via GC. GC overhead in that light can really be negligible, and it's other concerns (like scheduling and real time constraints) that typically make its use problematic.
Does not explode, just burns
Since moores law is leveling off, programming skill & quality will become more important to extract more performance out of computers. I forsee less javascript and python and more golang, java & rust and other %100 statically typed languages in the future.