[spoiler]Rust -- смесь технологий функционального, императивного, объектного и метапрограммирования, но при этом почему-то позиционируемая чуть ли не как альтернатива Си! Версия 0.2 вышла совсем недавно 29 марта, а сам язык совершенствуется уже шесть лет;
The Disciplined Disciple Compiler -- хитроумный диалект Хаскела, как и Rust, предлагает смешанный стиль программирования;
Curry -- надмножество Хаскела, дополненное фишками из языков логического программирования;
Clean -- система функционального программирования, совершенствующаяся с 1987-го. Вероятные "организационные" преимущества перед Хаскелом -- версии IDE для Windows, Linux, Mac;
Idris -- очень интересная реализация, включающая элементы решателя задач (алгоритмы взяты из французской системы доказательства теорем Cog), сопоставление с образцом, и даже зависимые типы (наверняка понравится любителям функторных категорий и типизированных кортежей с именованными компонентами);
Epigram -- еще один язык с поддержкой зависимых типов, есть кросс-платформенная среда;
Adga -- и еще один весьма мощный функциональный язык с зависимыми типами, хотя прежде всего это движок логического вывода. Настолько суров, что даже не позволяет с ходу вывести строку на экран.