Предисловие

Введение

Глава 1. Зачем нужно функцио-нальное программирование

• 1.1. Особенности функцио-нального стиля (219мин.)
• • Примеры решения задач (91мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Зачем нужно функцио нальное программирование (10мин.)

Глава 2. Элемен-ты языка Haskell

• 2.1. Система программирования Haskell Platform (55мин.)
• 2.2. Элемен-тарные типы данных (110мин.)
• 2.3. Определение функций с помощью уравнений (110мин.)
• 2.4. Концевая рекурсия и накапливающие аргумен-ты (91мин.)
• 2.5. Техника работы со списками (329мин.)
• • Примеры решения задач (128мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Элементы языка Haskell (30мин.)

Глава 3. Функции высших порядков

• 3.1. Отображение и свертка. Лямбда-выражения (183мин.)
• 3.2. Обработка списков с помощью функций высших порядков (237мин.)
• • Примеры решения задач (110мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Функции высших порядков (12мин.)

Глава 4. Определение новых типов данных

• 4.1. Определение типов данных (183мин.)
• 4.2. Использование функций высших порядков при обработке сложных структур (292мин.)
• • Примеры решения задач (91мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Определение новых типов данных (12мин.)

Глава 5. Типы и классы

• 5.1. Определение классов (110мин.)
• 5.2. Вычисления с неопределенным результатом (219мин.)
• • Примеры решения задач (73мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Типы и классы (12мин.)

Глава 6. Частичная параметризация функций

• 6.1. Карринг (110мин.)
• 6.2. Функцио-нальное представление данных (146мин.)
• 6.3. Позиционирование в списках (456мин.)
• • Примеры решения задач (347мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Частичная параметризация функций (18мин.)

Глава 7. Ленивые вычисления

• 7.1. Энергичная и ленивая схемы вычислений (128мин.)
• 7.2. Бесконечные структуры данных (146мин.)
• • Примеры решения задач (55мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Ленивые вычисления (12мин.)

Глава 8. Функторы и монады

• 8.1. Функторы (146мин.)
• 8.2. Монады и последовательные вычисления (146мин.)
• 8.3. Ввод-вывод. Компиляция программ на Haskell (274мин.)
• • Примеры решения задач (128мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Функторы и монады (18мин.)

Глава 9. Лямбда-исчисление

• 9.1. Представление выражений в лямбда-исчислении (55мин.)
• 9.2. Нормальная форма (128мин.)
• 9.3. Слабая заголовочная нормальная форма (73мин.)
• 9.4. Рекурсия в лямбда-исчислении (73мин.)
• 9.5. Чистое лямбда-исчисление (164мин.)
• • Примеры решения задач (55мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Лямбда-исчисление (20мин.)

Глава 10. Представление функцио-нальных программ

• 10.1. Расширенное лямбда-исчисление (37мин.)
• 10.2. Представление программ в расширенном лямбда-исчислении (274мин.)
• • Примеры решения задач (110мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Представление функциональных программ (12мин.)

Глава 11. Интерпретация функцио-нальной программы

• 11.1. Eval/apply-интерпретатор Маккарти (292мин.)
• • Примеры решения задач (37мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Интерпретация функциональной программы (14мин.)

Глава 12. SECD-машина и исполнение функцио-нальных программ

• 12.1. Архитектура SECD-машины (183мин.)
• 12.2. Ленивая версия SECD-машины (55мин.)
• 12.3. Компиляция функцио-нальных программ в SECD-машину (256мин.)
• • Примеры решения задач (18мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  SECD-машина и исполнение функциональных программ (18мин.)

Глава 13. Функцио-наль-ные эквиваленты императивных программ

• 13.1. Абстрактный императивный язык программирования (37мин.)
• 13.2. Императивная программа как функция (110мин.)
• • Пример решения задач (18мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Функциональные эквиваленты императивных программ (12мин.)

Глава 14. Графическое представление функцио-нальных программ

• 14.1. Графическое представление конструкций расширенного лямбда-исчисления (73мин.)
• 14.2. Преобразование графов при исполнении программ (73мин.)
• 14.3. Функции-проекторы и фиктивные узлы (110мин.)
• • Примеры решения задач (37мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Графическое представление функциональных программ (18мин.)

Глава 15. Комбинаторная редукция

• 15.1. Основные комбинаторы (37мин.)
• 15.2. Абстрагирование от переменных (73мин.)
• 15.3. Оптимизации Карри (55мин.)
• 15.4. Сохранение аппликативных подвыражений при преобразованиях (73мин.)
• • Примеры решения задач (37мин.)
  • Задачи для самостоятельного решения (18мин.)
• Тест:  Комбинаторная редукция (24мин.)

Глава 16. Комбинаторная редукция на графах

• 16.1. Правила преобразования графов для основных комбинаторов (55мин.)
• 16.2. Представление рекурсивных функций при редукции на графах (164мин.)
• • Примеры решения задач (73мин.)
  • Задачи для самостоятельного решения (37мин.)
• Тест:  Комбинаторная редукция на графах (12мин.)

Список рекомендуемой литературы

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

Завершение курса

• Тест:  Итоговое тестирование (60мин.)