нет не для того, вот автомобиль для чего нужен, что бы на дальние растояние передвигатся, что бы грузы перевозить, но ходить по преждену нужно, если человек не будет ходить то он будет больным, слабым, и быстрее умрет.
так же и эвм, предназначена для эфективного решения задачь с большими вычислениями, при этом программист который пишет программу он должен совершенстоваться в написании кода, иначе инженер-программист попросту вымрет, станет не нужным, его заменит эвм. и вот вопрос, к эволюции чего вы стремитсь? При этом если ставится задача в быстром решении при помощи абстракций, т была придумана надстройка си с классами, это когда в структуры добавили указатели на функции, далее все это превратилось в с++, и это как раз тот самый инструмент который позволяе быстро писать код, но при этом имеется возможность думать самому, т.е. программист сам решает где нужно быстро, а где окуратно.
Проверки отучают от внимательности, это уже давно известный факт в мире психологии. Попишите на пхп спроверкой кода по f5 в браузере и попишите на языке который нужно компилировать (хотя с появлением ssd, компиляция по скорости почти так же быстро как f5 в браузере при написании на пхп).
В целом доконтроль важен, и под С++ есть инструменты которые укажут на проблемный код и это классно! но речь идет не об этом, а о том, что зачем придумывать новый язык который все сам проверит но ограничит в гибкости? если на С++ можно писать быстро, по желанию используя фрэйморк например тот же QT, где все из коробки и безопасно и быстро и все уже придумано и вылизано,  и в тоже время еси нужен контроль, минимизация кода , то можно писать на голом си, использовать структуры с указателями на функции и вуяля вот тебе классы, удобно. Но когда в язык заложены ограничение это в конечном счете плохо.
в плане уязвимостей то это уже вопрос в архитектуре, опять же в том как организован обмен, хранение данных.