1. You can have both. Jumps (conditional or unconditional allow for more complex control flow and different control flow than was immediately thought of. 2 onl

1. You can have both. Jumps (conditional or unconditional allow for more complex control flow and different control flow than was immediately thought of. 2 only having structured control flow makes it a difficult target for HLL, which is what was is supposed to be. 3. A few years ago I was working on an array language and was trying to use tree based optimization and code generation, but I put it on hold until i understood more - can you recommend and links or papers? 4. Wasm is an IR, both target and source. Why not add a goto and structured primitive. There are clearly some things that cannot be compiled anywhere remotely performant.