Основы функционального программирования: различия между версиями

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
мНет описания правки
м + Категория: Программирование
Строка 19: Строка 19:


[[Категория:Функциональное программирование]]
[[Категория:Функциональное программирование]]
[[Категория:Программирование]]

Версия от 08:47, 7 февраля 2006

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

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

Автор: Dark Magus

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