Шаблон:ОФП Содержание

Лекции по функциональному программированию
1. Вводная лекция 2. Структуры данных и базисные операции 3. Структуры данных и базисные операции — 2 4. Основы языка Haskell 5. Служебные слова и синтаксис Haskell 6. Модули и монады в Haskell 7. Операции ввода-вывода в Haskell 8. Конструирование функций 9. Доказательство свойств функций 10. Формализация функционального программирования на основе λ-исчисления 11. Трансформация программ