> Rust is nothing but a slapdash C style copy of its semantics.

Rust is a copy of Ada's semantics for dealing with memory unsafe code? Could you provide an example of what you mean?

> Ada does, and has better and more clear conventions for "unsafe" programming (pointer arithmetic, conversions, etc)

Can you give some examples here of what you mean? I found Interfaces.C.Pointers, but I don't know enough about the language to know if that's what you were talking about