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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск
Логотип языка Haskell

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

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

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