Функциональное программирование на языке Haskell

Содержание книги "Функциональное программирование на языке Haskell "

Содержание
Введение
1. Основы функционального программирования
1.1 История функционального программирования
1.2 Основные свойства функциональных языков
1.3 Типовые задачи, решаемые методами функционального программирования
1.4 Конструирование функций
1.5 Доказательство свойств функций
2. Базовые принципы языка Haskell
2.1 Списки – основа функциональных языков
2.2 Функции как описания процессов вычисления
2.3 Типизация данных и функций
2.4 Элементы программирования
2.5 Модули и абстрактные типы данных
3. Классы и их экземпляры
3.1 Параметрический полиморфизм данных
3.2 Классы в языке Haskell как способ абстракции действительности
3.3 Наследование и реализация
3.4 Стандартные классы языка Haskell
3.5 Сравнение с другими языками программирования
4. Монады – последовательное выполнение действий в функциональной парадигме
4.1 Монада как тип-контейнер
4.2 Последовательное выполнение действий
4.3 Операции ввода/вывода в языке Haskell
4.4 Стандартные монады языка Haskell
4.5 Разработка собственных монад
5. Комбинаторная логика и λ-исчисление
5.1 Основы комбинаторной логики
5.2 Абстракция функций как вычислительных процессов
5.3 λ-исчисление как теоретическая основа функционального программирования
5.4 Кодирование данных в λ-исчислении
5.5 Редукция и вычисления в функциональных языках
6. Трансляторы программ
6.1 Математическая лингвистика
6.2 Краткое введение в теорию построения трансляторов
6.3 Реализация трансляторов на языке Haskell
6.4 Библиотеки для создания трансляторов
6.5 Частичные вычисления, трансформация программ и суперкомпиляция
7. Функциональное программирование и искусственный интеллект
7.1 Основные задачи искусственного интеллекта
7.2 Нечеткая математика и функциональное программирование
7.3 Логический вывод на знаниях
7.4 Общение с компьютером на естественном языке
7.5 Перспективы функционального программирования
Заключение
Ответы на задачи для самостоятельного решения
Решения задач из главы 1
Решения задач из главы 2
Решения задач из главы 3
Решения задач из главы 4
Решения задач из главы 5
Решения задач из главы 6
A. Функциональные языки программирования и Интернет-ресурсы по функциональному программированию
Функциональные языки программирования
Русские Интернет-ресурсы
Иностранные Интернет-ресурсы
B. Опции различных сред разработки на языке Haskell
Интегрированная среда разработки HUGS 98
Компилятор GHC
Компилятор NHC
Компилятор компиляторов Happy
C. Описание стандартного модуля Prelude
Функции
Описание некоторых операторов языка Haskell
D. Краткий словарь терминов из области функционального программирования
Литература
Общая литература по функциональному программированию
Книги, руководства и статьи по языку Haskell
Комбинаторная логика и λ-исчисление
Математическая лингвистика и теория построения трансляторов
Искусственный интеллект