I'm starting to be carefully optimistic that Rust will have sane, sound and understandable unsafe semantics someday. In that sense it's showing us the way: you can care about getting details right and have nice things!