I wouldn't be so sure about 1). JIT compilers can in principle beat AOT by taking account of runtime profiling which AOT compilers have to make guesses at. I d

I wouldn't be so sure about 1). JIT compilers can in principle beat AOT by taking account of runtime profiling which AOT compilers have to make guesses at. I don't know how much (if any) of this V8 does, but it's a hell of a leap to go from "static system 'a' beats dynamic system 'b'" to "all static systems of type 'A' will inevitably beat dynamic systems of type 'B'".