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

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
мНет описания правки
мНет описания правки
Строка 14: Строка 14:
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе λ-исчисления]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Формализация ФП на основе лямбда-исчисления|Формализация ФП на основе λ-исчисления]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:025.png| .]]



Версия от 06:40, 16 апреля 2006

Логотип языка Haskell
Логотип языка Haskell

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

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

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