[assassinator42]

Ada has the bounds checking, but doesn't (AFAIK) have a safe way to deallocate dynamic memory. At least as of now, there is a proposal to add something like Rust in the future. It also has memory unsafe concepts like specifying an address for a variable.

[pjmlp]

Yes it does, this isn't Ada83 we are talking about.

Well Rust also has unsafe, better not use it.