> Если так подумать, то ЯП не имеет значение. Если бы HTML+JS компилировалось
> в нативный бинарник - то это было бы очень даже неплохо.

Теоретически то все яп эквивалентны, практически - некоторые эквивалентнее. С динамической типизацией и такой прорвой фич как в HTML - двигло рендера просто не может быть быстрым, а код - фиг с два оптимизируешь.

В JS извините типизация динамическая и поэтому при вообще любой операции надо проверять что тип не изменился. Иначе будут глюки и несовместимость со стандартом. Где-то очень сильно сбоку есть всякие типизированные массивы и прочие, но это капля в море. В целом ЯП просто не сделан чтобы быть быстрым. А еще - еще для того чтобы вещи типа динамического втыкания кода работали, в рантайме придется с собой весь компилятор приволочь. И он на лету будет "компилировать в нативный бинарник". При том если gcc попыхтит 5 минут на могучей билдферме у майнтайнеров, это то всем пофиг. А если вместо этого 20 минут будет мой лаптоп вкалывать (чтобы тот же объем кода с той же оптимизацией выдать на гора) - вот тут мне уже несколько не пофиг. Особенно если розетка временно недоступна.