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

Table of contents :
От редактора……Page 5
История разработки одного компилятора. Дмитрий Зуйков……Page 11
Предпосылки……Page 12
Первое приближение: Форт……Page 15
Второе приближение „ Бип /Beep/……Page 17
Окончательный вид языка……Page 38
Примеры скриптов……Page 41
Итоги……Page 47
Использование Haskell при поддержке критически важной для бизнеса информационной системы. Дмитрий Астапов……Page 53
Обзор системы управления услугами……Page 54
Используемый в системе язык программирования и связанные с ним проблемы……Page 55
Постановка задачи……Page 62
Написание инструментальных средств на Haskell……Page 63
Достигнутые результаты……Page 67
Постскриптум……Page 69
Прототипирование с помощью функциональных языков. Сергей Зефиров, Владислав Балин……Page 70
Введение……Page 71
Инструменты прототипирования компонентов……Page 72
Моделирование аппаратуры с помощью функциональных языков……Page 76
Результаты применения подхода в жизни……Page 88
Заключение……Page 89
Краткий обзор библиотек моделирования аппаратуры……Page 90
Использование Scheme в разработке семейства продуктов . Алексей Отт……Page 93
Что такое «Дозор-Джет»?……Page 94
Архитектура систем……Page 95
Почему Scheme?……Page 98
Использование DSL……Page 99
Реализация СМАП……Page 102
Основные результаты……Page 104
Как украсть миллиард. Александр Самойлович……Page 106
Введение……Page 107
Разработка……Page 111
Заключение……Page 124
Алгебраические типы данных и их использование в программировании. Роман Душкин……Page 125
Мотивация……Page 129
Теоретические основы……Page 133
АТД в языке программирования Haskell……Page 143
АТД в других языках программирования……Page 152