On 03/06/2011 7:45 AM, Noel Grandin wrote:
OK. Fair enough. Just thinking out loud here, but I've seen some languages experimenting with tracking ownership in the type system. Is it possible to prevent aliasing by requiring that all pointed-to objects have an owner, and you can only modify an object by following it's ownership chain?
That is very possible, and part of what I'm in the process of suggesting in the next email (replying to Marijn :). Given that a uniquely-owning box, and a kinding of the type system into uniquely-owned and ownership-shared, is one of the features on the near-term list.
-Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
