C's weak type system proves my point. Safer code can be written in C++ IF you take advantage of its type system to implement safety features, but the language

C's weak type system proves my point. Safer code can be written in C++ IF you take advantage of its type system to implement safety features, but the language doesn't force you to do this so there is much insecure C++ code around. Go, Rust, Java, C#, Haskell, etc. are examples of relatively safe languages with type systems that mostly keep the foot guns in the foot gun cabinet.