Предисловие

Введение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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