On Sep 21, 2014, at 1:27 PM, Evan G <eg1...@gmail.com> wrote:

> Personally, I feel "safety" generalizes pretty well to "any concept
> that should be called out explicitly as unsafe"--not just memory
> safety.

The difference is that the current uses of `unsafe` are guarding things that 
cause a program to not have a defined meaning (ignoring the fact that Rust has 
no real semantics yet, so arguably no program has a defined meaning), whereas 
these other uses are for programs that have a defined meaning, just not the one 
that was intended.

Cameron
_______________________________________________
Rust-dev mailing list
Rust-dev@mozilla.org
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to