Odpovídáte na názor k článku Pohled pod kapotu formátu WebAssembly: instrukce pro řízení toku dat. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
Me to prijde jako semanticky cistejsi (psal jsem diplomku na tohle tema).
Skoky, at uz GOTO ci JMP jsou nehezke konstrukty, ktere maji tendenci porusovat viditelnost promennych, pokud mate v moci skakat na adresu, tak si musite dat pozor na skok doprostred instrukce (vivat viry a anti-disasm) a jine podivnosti.
Takze ta reprezentace vnorenych bloku, ktere pripomina XML, je celkem hezky aspekt WASM. A kod muze jit jen na pocatek nebo na konec bloku.
Samozrejme to obnasi nutnost proskenovat celej instrukcni flow, ale s tim se jaksi pocita, pokud to projde pres JIT preklad.
Jediny do ceho to haze vidle je onen switch-case, ze neexistuje nativni trampolina/vektorizovany jump, ale je treba ty bloky vnorovat (pripomina mi to problemaktiku parsovani vyrazu - zda se zavorkuje zleva nebo zprava :)