3 ms·
My reading of that is that everything is made immutable, at which point aliasing isn't an issue anymore. I might be wrong though.
by tom_mellior 10y ago
My reading of that is that everything is made immutable, at which point aliasing isn't an issue anymore. I might be wrong though.
- derkha 10y agoAuthor of that project here, it's the other way around - I'm using the absence oft aliasing to turn mutable Rust code immutable, which I can then embed in Lean. But you're right that ownership (ie, affine types) per se doesn't help.