[api]

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.

[zzzcpan]

> with type systems that mostly keep the foot guns in the foot gun cabinet

They don't compared to dynamic languages. Those type systems are only an improvement compared to C and C++, not to dynamic languages.