@littlecalculist since you folks are building a C++ replacement, is aliasing an important issue? I'm in the dark as to its actual impact.
-
@littlecalculist@nikomatsakis reading the wiki page. I guess I'm curious about the impact/difficulty of alias analysis.
@johnbender @littlecalculist Current type rules give you pretty strong aliasing information. e.g., all `&mut` pointers are mutually disjoint
-
-
@nikomatsakis@littlecalculist yes! I'm working on a preso/blerg post about Hoare and Separation logics applied to Rust snippets.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.