|
|
|
|
|
|
by the_duke
754 days ago
|
|
|
I don't see how WASM is that high level. It doesn't have types except numbers (ignoring reference types and the GC proposal), which makes it lower level than LLVM IR. The control flow constructs are also much closer to SSA form than anything viable for humans. If you ever try to write WAT by hand you realize that it's very much a compilation target, not something you'd ever want to manually write. |
|
|
The restriction to only number types, is more a byproduct of trying to keep the 1.0 spec as mvp as possible, and reference types are gonna be a big shift in that regard.
I mean compare these two. One is a (very low level) language, the other is (high level) assembly.
https://developer.mozilla.org/en-US/docs/WebAssembly/Referen...
https://mapping-high-level-constructs-to-llvm-ir.readthedocs...