> Wouldn't it be better to decide on a memory-safe language,

it is totally possible to use some strict subset of C++, which will be memory safe.