On 5/4/2013 5:42 PM, bearophile wrote:
Andrei Alexandrescu:http://static.rust-lang.org/doc/tutorial-borrowed-ptr.htmlThe management of pointers is one of the most refined parts of the Rust design. It offers safety, allows per-thread GCs, and more. It's powerful but it also adds some complexity to the language.
Years ago, Bartosz proposed an ownership system for pointers. While sound, it was rather complicated.
I don't think a complex system is going to gain wide adoption.
