Содержание
Лекция 1. "Вводная лекция"
История функционального программирования
Свойства функциональных языков
Решаемые задачи
Справочный материал
Благодарности
Лекция 2. "Структуры данных и базисные операции"
Несколько слов о программной реализации
Примеры
Упражнения
Ответы для самопроверки
Лекция 3. "Структуры данных и базисные операции - 2"
Типы в функциональных языках
Несколько слов о нотации абстрактного языка
Элементы программирования
Упражнения
Ответы для самопроверки
Лекция 4. "Основы языка Haskell"
Структуры данных и их типы
Вызовы функций
Упражнения
Ответы для самопроверки
Лекция 5. "Служебные слова и синтаксис Haskell'а"
Охрана и локальные переменные
Полиморфизм
Упражнения
Ответы для самопроверки
Лекция 6. "Модули и монады в Haskell'е"
Модули
Монады
Упражнения
Ответы для самопроверки
Лекция 7. "Операции ввода/вывода в Haskell'е"
Базовые операции ввода/вывода
Программирование при помощи действий
Обработка исключений
Файлы, каналы и обработчики
Окончательные замечания
Лекция 8. "Конструирование функций"
Упражнения
Ответы для самопроверки
Лекция 9. "Доказательство свойств функций"
Лекция 10. "Формализация ФП на основе l-исчисления"
Понятие формальной системы
Построение формальной системы
Соответствие между вычислениями функциональных программ и редукцией
Лекция 11. "Трансформация программ"
Виды преобразований
Частичные вычисления
