> Они яву изобретают?В некотором смысле да. В другом смысле нет. wasm -- это не язык, и даже не виртуальная машина, это байткод. То есть спецификация виртуальной машины. Плюс если jvm/java пилились Sun'ом, который не понимал что и зачем он делает -- имел некоторые идеи на этот счёт, но большинство этих идей нереализовалось, если .Net пилился майкрософтом под десктопные приложения, то wasm пилится исходя из других приоритетов.
• Safe, fast, and portable semantics:
- safe to execute
- fast to execute
- language-, hardware-, and platform-independent
- deterministic and easy to reason about
- simple interoperability with the Web platform
• Safe and efficient representation:
- compact and easy to decode
- easy to validate and compile
- easy to generate for producers
- streamable and parallelizable
Подробнее тут: https://github.com/WebAssembly/spec/blob/master/papers/pldi2...
Там есть сравнение и с jvm, и ответы на вопрос почему jvm -- не вариант, в частности:
Our work
was directly informed by experience with stack machines
such as the JVM [27] and CIL [33] and their validation al-
gorithms. By designing WebAssembly in lock-step with a
formalization we managed to make its semantics drastically
simpler. For example, JVM bytecode verification takes more
than 150 pages to describe in the current JVM specification,
while for WebAssembly it fits on one page (Figure 3). It took
a decade of research to hash out the details of correct JVM
verification [25], including the discovery of inherent vulner-
abilities [15, 19] – such as a potential O(n^3) worst-case of
the iterative dataflow approach that is a consequence of the
JVM’s unrestricted gotos and other idiosyncracies [39] that
had to be fixed with the addition of stack maps.
