[eternauta3k]

If your model is error-prone, having control structures, types and other compile-time checks is very valuable. It's harder to constrain arbitrary machine code to make something sensible.

[mejutoco]

Intuitively it makes sense, but I am not fully convinced about this. You could give it only a few register and discard invalid operations for certain registers or plain known invalid operations.

[treyd]

But that doesn't stop it from generating code that segfaults.

[mejutoco]

That is the same problem as generating python that blows up, no? (assuming it is tested in a sandbox)