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

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

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

Автор: Dark Magus

Внешние ссылки

• Лекции по Функциональному Программированию