НовостиСобытияКонференцииФорумыIT@Work
Идеи и практики автоматизации:

Блог

Любителям изящной функциональности

Сергей Бобровский
18.04.2012 10:42:52

Судя по откликам, особой альтернативы Хаскелу не предвидится smile:) И все же приведу подборку других более-менее активно развиваемых функциональных языков.

Rust -- смесь технологий функционального, императивного, объектного и метапрограммирования, но при этом почему-то позиционируемая чуть ли не как альтернатива Си! Версия 0.2 вышла совсем недавно 29 марта, а сам язык совершенствуется уже шесть лет;

The Disciplined Disciple Compiler -- хитроумный диалект Хаскела, как и Rust, предлагает смешанный стиль программирования;

Curry -- надмножество Хаскела, дополненное фишками из языков логического программирования;

Clean -- система функционального программирования, совершенствующаяся с 1987-го. Вероятные "организационные" преимущества перед Хаскелом -- версии IDE для Windows, Linux, Mac;

Idris -- очень интересная реализация, включающая элементы решателя задач (алгоритмы взяты из французской системы доказательства теорем Cog), сопоставление с образцом, и даже зависимые типы (наверняка понравится любителям функторных категорий и типизированных кортежей с именованными компонентами);

Epigram -- еще один язык с поддержкой зависимых типов, есть кросс-платформенная среда;

Adga -- и еще один весьма мощный функциональный язык с зависимыми типами, хотя прежде всего это движок логического вывода. Настолько суров, что даже не позволяет с ходу вывести строку на экран.

Комментариев: 1

Только зарегистрированные и авторизованные пользователи могут добавлять комментарии

18.04.2012 20:13:06

Цитата
Альтернатив хаскеллу, как высокоуровневому компилируемому в нативный код статически типизированному функциональному, обладающему развитой системой типов, живому и активо развивающемуся языку с достаточно обширным набором библиотек --- на текущий момент нет.
Прочитал коммент от любителя изящной словесности smile:) ушел обдумывать