Вышла новая версия комплекта для разработки на популярном функциональном языке Haskell — «The Haskell Platform 2011.2». Данная сборка содержит всё необходимое не только для освоения, но и успешной разработки на данном языке.

В комплект включены такие важные компоненты, как:

• GHC 7.0.2 — оптимизирующий компилятор языка Haskell, поддерживающий REPL и содержащий интерактивный отладчик;
• Haddock — генератор документации из аннотированного исходного кода (аналог doxygen);
• Cabal — пакетный менеджер, позволяющий «одной командой» устанавливать различные программы и библиотеки с Hackage;
• Happy, Alex, Parsec — для упрощения написания лексических анализаторов и парсеров;
• библиотеки для работы с OpenGL/GLU/GLUT;
• а также многое другое.

>>> Подробности

После долгого перерыва вышел 6-й номер журнала «Практика функционального программирования», который также стал доступен и в печатном виде.

В номере вы можете найти:

• эксклюзивные интервью с титанами функционального мира, создателями языков Haskell и Erlang: Саймон Пейтон Джонс и Джо Армстронг поделятся мыслями и ответят на вопросы о своих детищах и обо всем остальном, от работы в Microsoft Research до творчества Тарковского (обсуждение: Саймон Пейтон-Джонс, Джо Армстронг);
• сравнение Node.js и Erlang (Дмитрий Демещук);
• обзор языка Scala (Влад Патрышев);
• перевод статьи Дэна Пипони о быстром сопоставлении с регулярными выражениями при помощи моноидов;
• статью Евгения Кирпичёва, в которой идеи Дэна Пипони реализованы в коде

Кроме этого, начат проект «Библиотечка ПФП» в рамках которого будут публиковаться переводы известных статей на тему функционального программирования.

>>> Официальный анонс

Первая версия визуального функционального языка программирования Sifflet отныне доступна на hackage.

Назначение этого языка — помочь студентам познать рекурсию.

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

Помимо, собственно, исполнения программ на Sifflet, начиная с этого выпуска появилась возможность экспорта самой программы на другие языки, в частности Scheme (Lisp), Python и Haskell. Помимо самой программы также предоставляется небольшая библиотека для поддержки необходимого функционального минимума на выбранной платформе.

Данная возможность позиционируется авторами как вспомогательная и в познавательных целях.

Почитать про новый язык можно на странице проекта

Учебник.

>>> Анонс выпуска

Haskell On a Horse — новый веб-фреймворк для языка Haskell.
На текущий момент библиотека находится в стадии разработки, но хакеры могут попробовать её уже сейчас.
Библиотека выпускается под свободной лицензией BSD3. На сайте находятся интерактивные примеры и документация.

>>> Подробности

После выпуска 7 релиз-кандидатов увидела свет финальная версия реализации гибридного языка программирования для платформ Java и .Net Scala 2.8.0.

Версия 2.8.0 по сравнению с предыдущими содержит следующие изменения:

• Переработанная библиотека коллекций. Подробности
• Новая реализация массивов. Подробности
• Специализация типов. Подробности
• Именованые аргументы и аргументы по умолчанию. Подробности
• Объекты пакетов. Теперь пакеты могут содержать не только классы и объекты, но и функции, переменные и алиасы типов.
• Дополнена библиотека Scala Swing, улучшена документация
• Переработан REPL. Основным нововведением является автодополнение по Tab.
• Изменения в алгоритме поиска неявных аргументов.
• Новая библиотека комбинаторов парсеров. Теперь поддерживаются грамматики с левой рекурсией.
• Улучшения в библиотеке обработки XML.
• Улучшения в процедуре вывода типов.
• Улучшения аннотаций. Подробности
• Улучшения в реализации актёров.
• Поддержка продолжений (continuations). Продолжения поддерживаются плагином компилятора.
• Множество исправлений. Подробности

Также выпущены новые версии сопутствующих инструментов: scaladoc 2, sbaz 2, scalap, Scala-плагин для Eclipse.

>>> Подробности

После почти трехлетнего перерыва вышла новая версия оптимизирующего компилятора MLton для языка Standard ML.

Основные изменения — поддержка новых платформ (AMD64/Darwin, IA64/HPUX, PowerPC64/AIX), а также исправление ошибок.

MLton осуществляет полнотекстовую (whole-program) компиляцию программ на SML. Полнотекстовая компиляция позволяет достичь высокого уровня оптимизации. Аналогом MLton являются Stalin для Scheme и jhc для Haskell.

MLton поддерживает стандарт SML'97, SML Basis Library, имеет свой FFI (т.е. может вызывать C-функции без оберток) и другие полезные расширения. MLton генерирует небольшие исполнимые файлы,не требующие внешнего рантайма.

Подробнее о языке SML: http://en.wikipedia.org/wiki/Standard_ML

Подробнее о компиляторе: http://mlton.org/Features

>>> Подробности

Вышел новый, пятый номер журнала «Практика функционального программирования». В новом номере опубликованы следующие статьи:

• Инструменты интроспекции в Erlang/OTP. Максим Трескин
• Экономия ошибок. С. Зефиров, А. Сафронов, В. Шабанов, Е. Мельников
• Введение в F#. Евгений Лазин, Максим Моисеев, Давид Сорокин
• Лисп — философия разработки. Всеволод Дёмкин, Александр Манзюк
• Оптимизирующие парсер-комбинаторы. Дмитрий Попов
• Модель типизации Хиндли — Милнера и пример её реализации на языке Haskell. Роман Душкин

Также в этом номере опубликованы результаты конкурса, который был объявлен в 3-м номере журнала.

>>> Подробности

Вышел в свет четвертый выпуск журнала «Практика функционального программирования». В новом номере опубликованы следующие статьи:

• Лисп — абстракции на стероидах. Виталий Маяцких.
• Clojure, или «Вы все еще используете Java? тогда мы идем к вам». Алекс Отт.
• Пределы выразительности свёрток. Виталий Брагилевский.
• Сечения композиции как инструмент бесточечного стиля. Денис Москвин.
• Мономорфизм, полиморфизм и экзистенциальные типы. Роман Душкин.

Обсуждение номера и отдельных статей

>>> Новый номер в разных форматах

Вышел в свет второй выпуск журнала «Практика функционального программирования».

Центральная тема второго выпуска журнала — демонстрация применения функционального программирования в реальных, а не академических проектах.

Первые четыре статьи — Дмитрия Зуйкова, Дмитрия Астапова, Сергея Зефирова в соавторстве с Владиславом Балиным, и Алексея Отта — вытаскивают на поверхность «кухню» нескольких компаний. Статьи демонстрируют, что функциональные языки находят применение в промышленном программировании в самых разных нишах. Конечно, использование «нестандартных» языков накладывает на проекты некоторые сложно оценимые риски, и далеко не все из них рассмотрены в статьях. Но если статьи этого номера позволят развеять хоть часть сомнений, мифов и предрассудков и поднять дискуссию о применимости функциональных языков в промышленном программировании на новый уровень, мы будем считать свою задачу выполненной.

Статья Александра Самойловича рассматривает создание на языке Erlang игрушечного, но практичного проекта — рекурсивного многопоточного обходчика сайтов. К третьему выпуску журнала мы планируем подготовить ещё несколько статей про Erlang.

Завершающая статья Романа Душкина в большей степени ориентирована на теорию: она познакомит вас с концепцией алгебраических типов данных (АТД) в Haskell и других функциональных языках.

>>> Подробности

Scala - это язык программирования общего назначения под JVM, объединяющий в себе объектный и функциональный подходы, прозрачно взаимодействующий с Java. Изменения:

• Generic Signatures - параметры типов скалы теперь записываются в class-файлы и видны из Java.
• Комбинированные проекты - компилятор теперь может собирать проекты, которые содержат и .java и .scala файлы. То есть из исходных кодов на Scala можно ссылаться на еще не откомпилированные классы Java.
• Библиотека ScalaSwing включена в дистрибутив. Это адаптация Swing к Scala.
• Collections: Включено добавление Девида Маклвера: неизменяемые (immutable) IntMap, LongMap, TreeHashMap и изменяемые (mutable) ArrayStack и OpenHashMap.

>>> Download

>>> scala-lang.org

Библиотека Functional Java и новые возможности параллелизации в JVM 7 позволяют ускорить выполнение параллельных вычислений на платформе Java. Например, вычисление числа Фиббоначчи от 35 сокращается с 45 до 7 секунд, т.е. более чем в 6 раз!

>>> Подробности