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