> Одна только динамическая типизация заставляет делать
> 100500 рантайм проверок «ой, а не изменился ли тип при этой
> опреации?».

ты вот это серьёзно сейчас написал? современные JIT'ы намного умнее, и при нормально написаном софте «динамическая типизация» им особо не мешает (потому что на самом деле типы не меняются при каждом вызове, и умный JIT вполне в состоянии это увидеть).

вообще, при длительном исполнении хороший «умный» JIT вполне может *теоретически* выиграть у AOT-компилятора — за счёт оптимизации именно того, что имеет смысл оптимизировать и именно для тех случаев, для которых имеет смысл.

другое дело, JIT-ы для JS всё-таки не настолько «накручены». да и .net/mono/jvm тоже. в общем-то это не потому, что мегасложно, а потому, что не стоят усилия результата: мощность и скорость техники растёт, для критичных мест по-прежнему есть AOT, за которыми десятки лет развития, а для остального пойдёт то, что есть.