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

Материал из Викиучебника — открытых книг для открытого мира
Перейти к: навигация, поиск
Логотип языка Haskell

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

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