I am saying that textual wasm uses `a b +` (justl ike binary wasm) and `(+ a b)` is just a nicety.
It is explicity sugar for the stack operations, per my reading of the spec.
It is explicity sugar for the stack operations, per my reading of the spec.
> It is explicity sugar for the stack operations, per my reading of the spec.
The entire Wasm text format is syntax sugar for binary Wasm, so this is kind of a vacuous truth -- if Wasm's spec says it's a stack machine, of course everything is sugar for a stack machine. But if you weren't aware of Wasm and just saw a program in textual Wasm for the first time, I don't think the idea that it's stack-based would cross your mind.