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