C++ is already type-safe enough. The problem isn't a lack of language support, the problem is that programmers view safety as "needless boilerplate" and go to g

C++ is already type-safe enough. The problem isn't a lack of language support, the problem is that programmers view safety as "needless boilerplate" and go to great lengths to subvert the language on safety issues.