> Ada: good example, but not usually used for low-level systems programming Ada is used for low-level programming plenty. > Nim allows you to turn checks off

> Ada: good example, but not usually used for low-level systems programming Ada is used for low-level programming plenty. > Nim allows you to turn checks off at runtime. That's not relevant. > Both Nim and D generally use a GC. No, Nim now uses deterministic reference counting ARC and provides safety similar to Rust.