Wasm вообще не стековая машина, строго говоря, но к вопросу пиления OS это никак не относится.

С AoT компиляцией всё в порядке -- смотрите Lucet.

Очевидно, что внутри Wasm создать ОС, управляющую железом невозможно, потому что Wasm абстрагирует доступ к железу.

Примерно всё остальное в ОС можно написать и на Wasm, особенно если подходящие интерфейсы (системные вызовы) в него прокинуть.

А зачем писать ОС сугубо под WebAssembly?

> почему wasm - это примитивная стековая машина

Это какой то наброс. WebAssembly не чисто стековая машина. вернее структурно-стековая машина и это кстати плюс а не минус. Ей не нужны команды pop, push, swap, dup и прочие танцы с теневым стеком, что заметно уменьшает размер кода, но несколько усложняет vm. Иными словами да, это проще чем у Forth или JVM. Но это не есть плохо

> Что с аотом не так?

wasm вообще не завязан на AOT/JIT/интерпретации. Просто так сложилось что в основном рантаймы предпочитают использовать JIT и в этом есть огромный смысл. Но есть и AOT-компиляторы, такие как Lucet, InNative, SSVM

И опять же там JIT не такой JIT как в Java или JS и Lua) Мы где-то месяц назад здесь это обсуждали

понял, достаточно развернуто)

спасибо Макс

а напомните репл, где можно плюсы в васм и не только компилить разными компиляторами?

мне кажется @maxgraey должен помнить

не

там больше на repl.it похоже, но с выбором компиляторов

во, второе. спасибо!

то что нужно

а еще, мб есть такое (хотя вряд ли) — чтобы плюсовый репл в вебе с дебаггером =)

godbolt улёт ваще

еще бы v8 туда прикрутили

куда? зачем? =)

в годболт
смотреть ассемблерный вывод оптимизированных js функций)