On Wednesday, 3 January 2018 at 22:26:50 UTC, Ola Fosheim Grøstad
wrote:
E.g. Pony differentiate between different types of "ownership"
and can transition between them, so you can go from memory that
is isolated to a single pointer, pointers that only know the
address but cannot access the content, pointers that are fully
shared etc.
Pony relates to Rust in terms of what they are trying to
accomplish with ownership. Pony's iso reference capability seems
to mirror Rust's borrow checker rule that you can only have one
mutable reference. D's DIP 1000 already seems to incorporate one
of the borrow checker's rules on scope length. Adding something
like iso would probably help in the ownership department after
DIP 1000 is officially added.
