Функциональное программирование на языках Лисп, Эрланг [П. Ю. Шалимов] (pdf) читать постранично

1

МИНИСТЕРСТВО НАУКИ И ОБРАЗОВАНИЯ
РОССИЙСКОЙ ФЕДЕРАЦИИ
Брянский государственный технический университет

П.Ю. Шалимов
ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ
НА ЯЗЫКАХ ЛИСП, ЭРЛАНГ
Утверждено редакционно-издательским советом университета
в качестве учебного пособия

Брянск 2010

2

ББК 65.29
Шалимов, П.Ю. Функциональное программирование на языках
Лисп, Эрланг : учеб. пособие / П.Ю. Шалимов. – Брянск: БГТУ, 2010. –
191 с.

I8ВN 5-89838-224-0
Рассмотрены теоретические и практические положения, а также
принципиальные
вопросы функционального программирования:
управление памятью, типизация, виды вычислений, управление в
функциональной программе, определение функций и организация
повторяющихся вычислений. Дано системное представление об
основах высокоуровневого программирования на примере одного из
самых популярных его стилей – функционального программирования.
Учебное пособие предназначено для студентов всех формы
обучения специальностей 010503 «Математическое обеспечение и
администрирование
информационных
систем»,
230105
«Программное
обеспечение
вычислительной
техники
и
автоматизированных систем», а также может быть полезно для лиц,
самостоятельно изучающих функциональное программирование.
Ил. 3. Библиогр.– 24 назв.
Научный редактор В.В. Конкин
Рецензенты: кафедра «Информатика и прикладная математика»
Брянского государственного университета;
канд. техн. наук Л.И. Евельсон.

I8ВN 5-89838-224-0

© Брянский государственный
технический университет, 2010

3

ПРЕДИСЛОВИЕ

Учебное пособие предназначено для изучения дисциплины
«Функциональное программирование». Материал учебного пособия
разбит по уровням семантической значимости на следующие группы:
основной;
дополнительный;
главный.
Основной
материал
определяется уровнем знаний, необходимым для полного усвоения
учебной дисциплины в объеме, определяемым Государственным
образовательным стандартом. Основной материал не выделяется
шрифтом или обрамлением.
Дополнительный материал помещен в пункт «Примечания» и
содержит сведения расширяющие кругозор читателя, справочный
материал, а также информация междисциплинарного значения. При
чтении учебного пособия дополнительный материал можно опустить
без ущерба для качества знаний.
К главному материалу относятся сведения, имеющие
фундаментальное значение в конкретном разделе учебной
дисциплины. Главный материал выполнен жирным шрифтом. Кроме
того, к главному материалу следует отнести содержимое пункта
«Резюме», где в краткой форме излагаются основные положения
каждого раздела дисциплины.
Курсивом выделяются термины (понятия) и определения.
Многие определения выделяются как главный материал.
Большое внимание в учебном пособии уделяется примерам
решения задач программирования, которые представлены исходными
кодами, и результатами решения задачи на ЭВМ. В обоих случаях
соответствующий материал выделяется одинаково – обрамлением в
виде строковых отступов от основного текста. В некоторых случаях
пояснительный материал может быть встроен в пример как
комментарий к программе. Все, что отмечено таким образом, может
быть перенесено в исходный код и выполнено в соответствующей
инструментальной системе.
В учебное пособие также включены упражнения (контрольные
вопросы и задачи) для самостоятельной работы, которые будут

4

способствовать более глубокому изучению функционального
программирования. Изучать это учебное пособие следует, имея
сводный доступ к компьютеру, на котором установлены
инструментальные системы Лиспа и Эрланга.
Учебное пособие предназначено для студентов всех форм
обучения специальностей 010503 – «Математическое обеспечение и
администрирование
информационных
систем»,
230105
–
«Программное
обеспечение
вычислительной
техники
и
автоматизированных систем», а также может быть полезно для лиц,
самостоятельно изучающих функциональное программирование.
В качестве требований к начальной подготовке следует только
поставить условие – знакомство с императивным программированием
и практическое владение, хотя бы одним императивным языком
программирования.

5

ВВЕДЕНИЕ

Функциональное программирование занимает, в определенной
степени, промежуточное положение между императивным
программированием на языках типа Си, Паскаль и логическим
программированием на Языке Пролог. Оно позволяет разработчику
сосредоточиться на решении собственно прикладной задачи и
обладает сравнительно высокой вычислительной эффективностью.
Функциональное
программирование
характеризуется
следующими признаками, некоторые из которых впоследствии
переместились в императивные языки, повысив их уровень.
Требование использования только чистых функций (без
побочных эффектов),