всё-таки вебасм - странная штука

очередной убийца убийц

очередной - compile once run anywhere!

А когда будет - compile once run anytime?

compile once run never

Sounds like Agda

опять ваш хаксель

принцип лени. в терминальной стадии

+

очередной бесполезный, я бы сказал

ну, это-то да

мне технология представляется весьма интересной и полезной. как в 2015 про нее услышал, так периодически слежу за ней 🙂

Каким бы классным ни был jit в том же v8, он всё равно не будет лучше нормального оптимизирующего компилятора. Потому что ворох абстракций (gc, прототипы, получения значения поля объекта через 100500 операций) никуда не пропадают сами по себе. И даже если написать оптимизатор для всего этого, то придётся добавлять deopt/bailout на всякий случай. А написать нормальный оптимизатор не получится, потому что jit — не aot, и у браузера нет даже двух минут на билд.

зато jit имеет то, чего не имеет обычный компилятор - СТАТИСТИКУ

динамический pgo

Это да. Есть, то он есть, вот только его никто не умеет готовить. В контексте жс-движков весь этот pgo выливается в специализации функций для конкретных типов и немножечко инлайн. (как и в жабе, еяпп)

Ты там про многопоточку спрашивал. Многопоточки в васме нет и не будет. Есть пропоузал на shared memory, atomic'и и cas. Но создание и джойн тредов отдаётся хостовой системе. Т.е. никто не запрещает дать в модуль pthread_create, но стандарта на эти функции нет.

только он этот pgo собирает на лету и не переиспользует

То есть модель памяти для многопоточки есть, а "стандартной библиотеки" - нет. Опять же, всё как с железом, делай что хочешь.

сначала нарасти пять слоёв абстракции, и только потом что-то можно будет начинать делать