Практика функционального программирования

http://ira_gord.printdirect.ru/

Футболки и пивные кружки - не успел я подумать, как выяснилось, что Ира Горд это уже сделала :)

Суперкомпиляция (supervising compilation) — техника преобразования программ, основанная на построении полной и самодостаточной модели программы.

В статье описываются основные идеи и методы суперкомпиляции на примере работающего суперкомпилятора SC Mini для простейшего чисто функционального языка.

Supercompilation (supervising compilation) is a program transformation technique based upon constructing a self-sufficient model of the program.

The paper describes the main ideas and methods of supercompilation through a series of examples
performed by the simple supercompiler SC Mini.

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

This article defines a subject area whose problems can be conveniently solved with the use of continuations; we analyze the traditional methods of solving these problems and consider a few practical examples with efficient use of continuations.

Ответ на статью Максима Сохацкого (опубликованную несколькими страницами ранее), в котором делается попытка показать, что написание прототипа LDAP-сервера на языке Си ничуть не сложнее, чем на Эрланге. Проводится cравнение полученных решений.

This is a response to the preceding Maxim Sokhatsky's article. We're aiming to show that creating a LDAP server prototype in C is not any more complex than writing it in Erlang. We compare the resulting C and Erlang solutions.

Статья про то, как с нуля быстро сделать прототип сервера, отвечающего по LDAP протоколу стандартному почтовому клиенту. В качестве основного инструмента весьма к месту был выбран Erlang.

This is an article about a rapidly-prototyped LDAP server capable of answering to a default Mail client. Erlang is the language of our choice.

В данной статье мы рассмотрим пример использования среды Mathematica для быстрого прототипирования простого алгоритма обнаружения движения. Кроме общих приёмов работы с Mathematica, мы познакомим читателя с некоторыми понятиями из области машинного зрения, цифровой обработки изображении и сигналов. При разработке мы применим некоторые из подходов функционального программирования, поддерживаемых Mathematica.

In this article, we will use Mathematica to develop a prototype of a simple motion detection algorithm. We will introduce the basics of using Mathematica environment and use this exercise to illustrate some basic concepts from the fields of machine vision, digital image processing and signal processing. We will be using some of the functional programming capabilities provided by Mathematica.

Веб-фреймворк Circumflex — одна из сравнительно недавних разработок на Scala, и, на взгляд автора, гораздо менее известная, чем она того заслуживает. В статье описываются отличия Circumflex от других веб-фреймворков, применение языковых средств Scala для создания необходимых фреймворку DSL, подход к структурированию Scala-проектов, применяемый разработчиками фреймворка, и другие его интересные особенности.

Circumflex is a relatively new player among Scala web frameworks; it appears to be much less popular than it deserves, from author's point of view. This article outlines the differences between Circumflex and other web frameworks, its employment of Scala language features to build useful DSLs, its clever approach to structuring of Scala code and other interesting features.

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

Статья знакомит читателя с Рефалом. Язык так прост, что его описание почти целиком вмещается в статью — за исключением стандартных функций, которых тоже немного. Простота сама по себе — положительное качество, но читатель убедится, что оно не единственно.

Помимо описания самого Рефала, представлен взгляд автора на место, достоинства и слабые стороны языка.

Knowing the Refal language is useful to a programmer, if for nothing else than for the language's uniqueness — with respect to its age, its origin, its intended purpose, and style. It is regrettable that, in spite of its qualities, the language is not very popular.

This article gives an introduction to Refal.

Бумажная версия: на сайте издательства (200р, доступны и все предыдущие номера, комплекты еще дешевле, доставка куда угодно, в Москве можно самовывозом).

Электронные версии: для ebook, для чтения с экрана, для печати, для компактной печати (HTML на подходе).

Седьмой номер был небыстр и нелегок в производстве; долгими студёными зимними вечерами, не покладая рук, трудились авторы и редакторы над его созданием. Но, пожалуй, труды себя оправдали — по разнообразию и качеству содержимого этот номер беспрецедентен; низкий поклон авторам. Мы уверены, что читатели откроют для себя из статей много нового, и надеемся, что этот номер окажется большим шагом к выполнению нашей основной задачи: повысить осведомленность о не-мейнстримных языках и методиках программирования в русскоязычном сообществе и изменить отношение к ним.

Статьи

Позволим себе пару комментариев относительно статей номера.

• Язык РЕФАЛ — взгляд со стороны (Обсуждение). Бойко Банчев расскажет о сущности, истории и современном состоянии языка РЕФАЛ — детища Валентина Фёдоровича Турчина; языке незаслуженно подзабытом, но на десятилетия опередившем своё время и пустившем корни во множество современных ЯП (как, например, Mathematica).
  
• Circumflex — веб-фреймворк на Scala comme il faut (Обсуждение). Александр Темерев даст урок использования этого «обезжиренного» и гибкого веб-фреймворка, написанного на Scala российской командой во главе с Борисом Окунским.
  
• Разработка алгоритма обнаружения движения в среде программирования Mathematica (Обсуждение). Вадим Залива расскажет об опыте прототипирования такого алгоритма при разработке iPhone-приложения iSentry. Хотя Mathematica и не является в полном смысле этого слова функциональным языком программирования, но программирование в этой среде задействует множество не очень распространенных пока в мейнстриме, но очень важных и заслуживающих внимание средств: интерактивный интерпретатор, гомоиконность (единство кода и данных), сопоставление с образцами, wholemeal programming (оперирование целыми структурами данных, а не их частями), акцент на «чистое» программирование, dataflow programming (Manipulate) и т.п.
  
• Как написать LDAP-сервер на Erlang (Обсуждение) и Как написать LDAP-сервер на Си (Обсуждение). Максим Сохацкий и Олег Смирнов обменяются любезностями со Львом Валкиным: Максим и Олег похвалят Erlang за то, что на нем можно за 20 минут написать LDAP-сервер, а Лев докажет, что дело тут вовсе не в Erlang.
  
• Продолжения в практике (Обсуждение). Алексей Вознюк (человек, написавший на LISP самую быструю программу к конкурсу в ПФП № 3) расскажет об использовании продолжений для упрятывания асинхронности кода за обыкновенным «последовательным» синтаксисом. Эта тема особенно актуальна в контексте взрывного роста Веба и сетевых сервисов, но интересна и потому, что открывает целый пласт неожиданных структур управления. Рекомендуем перед прочтением ознакомиться с недавно опубликованным в «Библиотечке ПФП» переводом статьи «Паттерны использования call-with-current-continuation».
  
• Суперкомпиляция: идеи и методы (Обсуждение). Илья Ключников, занимающийся суперкомпиляцией в Институте прикладной математики им. М. В. Келдыша, расскажет о суперкомпиляции (кстати, изобретенной также В. Ф. Турчиным в контексте языка РЕФАЛ), построив поразительно компактный и понятный суперкомпилятор простого языка, и покажет, что она применима не только для удивительно мощной оптимизации многих классов программ, но имеет и другие неожиданные применения. Обязательно прочитайте и приложение!
  

Печатный номер

Как и все предыдущие номера, данный номер доступен для заказа в издательстве Самиздал. Стоимость номера — 200 рублей; осуществляется доставка в Россию и по всему миру (в Москве можно забрать прямо из издательства). В блогах можно найти немало постов от гордых владельцев комплектов ПФП с фотографиями, разве не завидно? ;) Напоминаем, что все доходы от продаж уходят на услуги типографии — так что мы будем по-прежнему рады, если вы угостите нас кофе за наши труды.

Реклама

Мы по-прежнему предлагаем рекламодателям очень дешевую площадку для публикации вакансий в номере, и напоминаем, что едва ли в Рунете есть издание для программистов с такой же «концентрированно сильной» аудиторией более 10 тысяч человек. Пишите на ad@fprog.ru!

Сообщество

Ну а для тех, кому журнала мало, напоминаем: бесценный источник функциональных новостей — само русскоязычное сообщество функциональных программистов. Следите за блогами в коллективном твиттере и Russian Lambda Planet! За новостями нашего журнала можно также следить в нашем официальном твиттере.

Приятного чтения!

С самыми чистыми пожеланиями,

Евгений Кирпичёв, jkff@fprog.ru

Дизайн обложки - ira_gord.

Господа потенциальные рекламодатели!

Напоминаем, что в номере fprog.ru можно разместить рекламу. Расценки:
- Полноцветная реклама на обложке (как у Undev в номере 6) - $500
- Страница внутри с вакансией - $250

Пишите на ie@fprog.ru .

Это отличный способ дешево и сфокусированно привлечь вакансией много сильных программистов.
- Аудитория намного сильнее аудитории типичного рабочего сайта, да и акт размещения в fprog смотрится солидее, чем размещение на таком сайте.
- Аудитория намного больше круга знакомых типичного сильного знакомого программиста.
- Это минимум вдвое дешевле, чем типичный referral bonus, и уж подавно дешевле, чем платные услуги размещения на рабочих сайтах (об эффективности которых ходят легенды).