On Friday, 2 May 2014 at 18:32:13 UTC, Dylan Knutson wrote:
Correct me if I'm wrong here, but this seems really similar to
how Rust does owned pointers and move semantics. Or is there a
large conceptual difference between the two that I'm missing?
I believe that the issues that people are bringing up with bad
interaction with UFCS, and losing isolated data after passing
it to a function, are managed in Rust with the notion of a
borrowed pointers. Perhaps something analogous to this could
accompany the `isolated` idea?
I don't think bolting Rust's type system onto D is a viable
option at this point.
