И. А. Кудрявцева
Цена: 50 руб.
Автором выделены достоинства языка программирования FP Дж. Бэкуса с по-
зиции обучения теоретическому программированию. Рассмотрены основные
сущности языка FP, условия, которыми должны обладать функции пользовате-
ля и которыми обладают встроенные в язык FP примитивные функции, а также
проведена аналогия функциональных форм языка FP со встроенными функция-
ми языка программирования Haskell. В результате сформулированы положения,
обосновывающие концептуальность языка FP в области теоретического про-
граммирования.
Ключевые слова: теоретическое программирование, математическая модель
функционального стиля программирования, функциональная форма (комбинатор),
алгебра программ для систем функционального программирования, комбинатор-
ная библиотека, операции декартово замкнутой категории.
Список литературы
1. Бьянкуцци Ф., Уорден Ш. Пионеры программирования. Диалоги с создателями современных
языков программирования. СПб.: Символ-Плюс, 2011. 608 с.
2. Бэкус Дж. Алгебра функциональных программ: мышление функционального уровня, линей-
ные уравнения и обобщенные определения // Математическая логика в программировании: сб. ста-
тей 1980–1988 гг. М.: Мир, 1991. С. 8–57.
3. Бэкус Дж. Можно ли освободить программирование от стиля фон-неймана? Функциональный
стиль и соответствующая алгебра программ // Лекции лауреатов премии Тьюринга. М.: Мир, 1993.
С. 84–158.
4. Касьянов В. Н., Поттосин И. В. Методы построения трансляторов. Новосибирск: Наука, 1986.
344 с.
5. Кирпичев Е. Элементы функциональных языков // Практика функционального программирова-
ния. 2009. № 3. С. 83–194.
6. Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993. 637 с.
7. Backus J. Can programming be liberated from the von Neumann style? A functional style and its algebra
of programs // Comm. ACM, 21, 1978. № 8. Р. 613–641.
