> С точки зрения оптимизации C++ хуже памятью. Говоря про скорость многие в первую очередь думают про распараллеливание для максимальной загрузки VLIW и забывают при этом про доступ к памяти, а он медленный.

ААААаАААА!!!! Спасибо огромное. Да, у C++ из-за виртуальных функций уже простой вызов идёт через доступ к совершенно левой VTABLE. Конечно, тогда Эльбрус не любит и классическую LISP-подобную организацию памяти, которая по-умолчанию во всякой функциональщине. Есть чудесная статья "The memory models that underlie programming languages" про разные типы организации памяти. И, конечно, структуры C или параллельные массивы Fortran'а тогда для него "the best".

Но сейчас идёт серьёзная работа в том же Хаскеле и Камле по оптимизациям типа unboxing - когда переменные кладутся на стек. См "Levity Polymorphism".

Но из того, что есть сейчас, Rust должен зайти - тут вам и стек, и pattern-matching. Но зато llvm.