> Нужен новый shell, безопасная работа с памятью которого обеспечивается во время компиляции
> через проверку ссылок, отслеживание владения объектами и учёт времени жизни объектов
> (области видимости), а также через оценку корректности доступа к памяти во
> время выполнения кода. Также предоставляет средства для защиты от целочисленных переполнений,
> требует обязательной инициализации значений переменных перед использованием, лучше обрабатывает
> ошибки в стандартной библиотеке, применяет концепцию неизменяемости (immutable) ссылок
> и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических
> ошибок.

Нужен. Например на Lua.