Disagree....
"I’d like to see C++ supporting a guaranteed completely type-safe and resource-safe style of programming. This should not be done by restricting applicability or adding cost[...] I think it can be done and that the approach of giving programmers better (and easier to use) language facilities can get us there."
I disagree. If it could've, it would've, by now. Performance and safety will always be in conflict.
C++ has been a Vasa for years. It floats because it's in dry dock.