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