Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



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.


That's true. Maybe it would work, but I wonder if anyone has attempted it before...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: