3 ms·

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 t

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 2y ago
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 2y ago
  But that doesn't stop it from generating code that segfaults.
  - mejutoco 2y ago
    That is the same problem as generating python that blows up, no? (assuming it is tested in a sandbox)