A Few Comments On "Sparse Record And Replay With Controlled Scheduling" https://robert.ocallahan.org/2019/05/a-few-comments-on-sparse-record-and.html …
-
-
e.g. Rust tries to solve the dichotomy in Grossman’s “Existential Types for Imperative Languages” by tracking ownership and enforcing uniqueness of mutable borrows per use site, which is the only way to make a usable language IMO.
-
In that case, the novelty is Rust has its cake and eats it too. Is that enough for novelty? I think so, because the complications that this creates are interesting. But reasonable people (and reviewers) can disagree.
- 4 more replies
New conversation -
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.