You cant engineer away buffer overflows without a cost
The cost is either you have runtime bounds checking as per the C++ STL, or you simply prevent direct memory indexing altogether. Theres no magic bullet and pretending Language-of-the-month will solve the problems is disingenuous.