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

Description

От редактора Рекурсия + мемоизация = динамическое программирование. Дмитрий Астапов Введение Задача 1: Подсчет числа подпоследовательностей Задача 2: Водосборы Заключение Проектирование Erlang-клиента к memcached. Лев Валкин Коротко о memcached Проектирование клиентской библиотеки к memcached Сравнения и тесты Как построить Google Wave из Erlang и Tcl при помощи OCaml. Дмитрий Астапов, Алексей Щепин Введение: что такое Google Wave и операционные преобразования Постановка задачи Возможный подход к решению Проектирование DSL Реализация DSL на OCaml/camlp4 Заключение Полиморфизм в языке Haskell. Роман Душкин Параметрический полиморфизм в языке Haskell Ad-hoc полиморфизм в языке Haskell Полиморфизм в других языках программирования Элементы функциональных языков. Евгений Кирпичёв Введение Вывод типов Функция высшего порядка (ФВП) Замыкание Частичное применение, карринг и сечения Бесточечный стиль Хвостовой вызов Чисто функциональная структура данных Алгебраический (индуктивный) тип данных Сопоставление с образцом Свёртка Структурная / вполне обоснованная рекурсия (индукция) Класс типов Комбинáторная библиотека