That's a really good way of stating what I believe. :-) If C++ had memory safety next month then the next step would be to add stronger types. Once memory safe

That's a really good way of stating what I believe. :-) If C++ had memory safety next month then the next step would be to add stronger types. Once memory safety is a thing, you can start to add types that describe contracts and then you can ensure lots of interesting logical safety properties that aren't memory safety.