here is what is more likely to happen. Brendan Eich: "If I wanted a safe intermediate form, I would look at arithmetic coding techniques that self-verify (s

here is what is more likely to happen. Brendan Eich: "If I wanted a safe intermediate form, I would look at arithmetic coding techniques that self-verify (so that you can't express other than well-formed programs), not bytecode and not JS source. It's IMHO very unlikely that TC39 will standardize a bytecode for JS. An AST encoding has better chances and better properties including self- verification and view-source-ry."