[doomjunky]

But in managed languages the safety comes by default and in unmanaged languages the safety comes by exception.

[dependenttypes]

In both ways safety comes by the implementation. It just so happens that so called "safe" languages tend to have a single safe implementation while "unsafe" ones tend to have multiple unsafe and one or two safe ones.

Does the amount of unsafe implementations matter?