Текст:ФП:Лекции по ФП (МИФИ)

From Традиция
Jump to navigation Jump to search
Логотип языка Haskell

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

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

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