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

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

Стадии развития викиучебников
Недавно созданный	Разрабатываемый:	Растущий:	Разработанный:	Законченный текст

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