If Ada is already *very* safe, why Rust?

[notriddle]

@leonardo

In a recent post of mine I’ve shown that you probably can’t implement those well in library code even if you have good const generics.

Still need const generics to implement traits over range numeric types, for the same reason why fixed-size arrays aren't very good in current Rust.