Indeed it is much better to implement it in a language such as C or C++ that has historically had almost no security issues and has very few pitfalls.
> Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.
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.
They don't compared to dynamic languages. Those type systems are only an improvement compared to C and C++, not to dynamic languages.