Основы функционального программирования

Материал из Викиучебника

Этот учебник составлен из 11 лекций по функциональному программированию, читанных студентам четвёртого курса кафедры кибернетики МИФИ. Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.

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

Первоначальный текст: Лекции по функциональному программированию. Автор — Душкин Р. В.