Снова вижу рассуждения про wasm и вопросы “зачем?”, а так блеяние всяких раст-клоунов, но об этом отребье далее. Тема уже мною обсуждалась, кому интересно - тут . Почему не llvm-ir и в чём отличие llvm-ir не является переносимым. Его ir - это, если попроще, такая импрувнутая сишка из которой выкинули весь переносимый мусор. Допустим, там нету универсальных типов данных. Все типы данных должны являются конечными, т.е. 1в1 преобразуются в нативные. llvm-ir крайне сложен. Это, конечно, сомнительный минус, но в мире рядовых макак вполне котируется. llvm не является vm. Это прямо следует из первого пункта. Задача ir не сокрыть, а обобщить. Если ещё проще - ir имеет полный доступ куда угодно и не является безопасным, как си. Почему не java/прочее говно java-байткод не является состоятельным - это высокоуровневое и завязанное на жаву говно. Этот байткод слишком примитивен, jvm такой же мусор и завязан на рантайме жаве. jit-направленность. Обсуждать этот мусор в контексте wasm/l