> how could JIT be faster? 1. AOT compilers have less information about the program than JITs (they only see the program as code; JITs see the code and the cur

> how could JIT be faster? 1. AOT compilers have less information about the program than JITs (they only see the program as code; JITs see the code and the current execution profile) 2. AOT compilers can only make optimisations that they can prove don't change semantics, while JITs can be more aggressive, making optimisations that are speculative, deoptimising if wrong.