Функциональное Программирование на языках Lisp и Erlang

Предисловие......Page 3
Введение......Page 5
1 Основные положения высокоуровневого программирования......Page 7
Парадигмы программирования......Page 8
Стили декларативного программирования......Page 9
ФП в системах ИИ......Page 12
ФП в телекоммуникации......Page 13
Сферы применимости......Page 14
Понятие высокоуровневого программирования......Page 15
2 Облик функционального программирования......Page 19
Теоретические основы функционального программирования......Page 20
Программирование в функциональных обозначениях......Page 21
Виды вычислений в функциональных языках......Page 22
Обзор функциональных языков программирования......Page 23
История Лиспа и Эрланга......Page 30
Символьные выражения Лиспа......Page 32
Типизация в Лиспе......Page 36
Система примитивов языка Лисп и статические связи......Page 37
Символьные выражения Эрланга......Page 45
Базовые функции Эрланга и основные операции......Page 49
Неразрушающее ФП......Page 57
Разрушающее императивное программирование......Page 61
Автоматическая сборка мусора......Page 62
Полиморфные символы Лиспа......Page 65
Лямбда-выражения Лиспа......Page 71
Определение функции в Лиспе......Page 73
Формы записи функции нескольких переменных......Page 76
Анонимные функции в Эрланге......Page 77
Функции и модули Эрланга......Page 82
Работа с контекстом в Лиспе......Page 88
Организация ветвлений в Лиспе......Page 90
Условные вычисления в Эрланге......Page 92
Императивные механизмы Лиспа......Page 94
Организация ввода-вывода в Лиспе......Page 97
Организация ввода-вывода в Эрланге......Page 102
Способы решения задач......Page 107
Основные положения теории рекурсивных функций......Page 108
Классификация видов рекурсии......Page 111
Реализация рекурсивного процесса......Page 117
Хвостовая рекурсия......Page 119
Рекурсивные определения стандартных функций......Page 121
Эффективность и критерии выбора рекурсивного решения......Page 126
Понятие функции высшего порядка......Page 132
Применяющие функционалы Лиспа......Page 133
Отображающие функционалы Лиспа......Page 136
Функции высшего порядка в Эрланге......Page 138
Лексические замыкания......Page 139
Теория......Page 145
Теория рекурсивных функций......Page 154
Примеры программ на Лиспе......Page 160
Примеры программ на Эрланге......Page 164
Определение функций высшего порядка......Page 167
Литература......Page 168
Индекс......Page 170