3 ms·

VM could do see all the functions and do whole-program analysis. Inlining is an orthogonal concept.

• pcwalton 12y ago
  You could in theory, but that analysis would likely be really slow. In any case, without the type system and compiler to enforce the discipline the programmer is going to lose a lot of control and predictability.
  • pkolaczk 12y ago
    Not necessarily. As you said, Rust encodes that information in type signatures. Exactly the same information can be used in a VM and it could do escape analysis one method at a time then.
    • tomp 12y ago
      That's true. Maybe it would work, but I wonder if anyone has attempted it before...