On Thursday, 2 October 2014 at 18:52:18 UTC, Paulo Pinto wrote:
Rust makes use of the type system and the borrow checker to
validate how the pointers are being used.
The usual errors when dealing with pointers are compile time
errors in Rust.
They constrain usage so that you cannot share mutable objects. It
is described in reasonable high level here:
http://doc.rust-lang.org/0.11.0/rust.html#memory-and-concurrency-models
But is sketchy on implementation details, semantic restrictions
that follows and consequences when interacting with foreign code
etc.
