The SPARK paper calls Rust’s memory management a “static garbage collector”. I like that.
It doesn’t matter even a little bit. In fact, in earlier versions of Rust, swap was a builtin. It was removed since it wasn’t used much.
-
-
Yeah, I know that. I just meant that it was interesting that it comes for free from inout (which might be more broadly useful). It also might be useful in a hypothetical world in which someone tried to run sandboxed Rust without process oundaries (not feasible at present).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.