Rust

Язык программирования с автоматическим управлением памятью без сборщика мусора.
Компилятор отслеживает владельца объекта и гарантирует его уничтожение при потере владельца.
Помимо владения язык гарантирует эксклюзивность владения мутабельной ссылкой - на объект может быть только одна мутабельная ссылка или любое количество немутабельных. Это исключает гонки данных.

У языка относительно высокий порог входа, зато после его преодоления язык способствует написанию очень надёжных программ за счёт большого количества проверок на этапе компиляции.

Отличительная особенность компилятора rust - очень подробные сообщения об ошибке. Не просто одна строка "ошибка такая-то", а прямо объяснение того что пошло не так и варианты исправления ошибки

Ссылки