Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
м Замена «ввода/вывода» → «ввода-вывода» |
Изменены стадии развития. |
||
Строка 10: | Строка 10: | ||
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:075.png|.:]] |
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:075.png|.:]] |
||
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell|Служебные слова и синтаксис Haskell]] [[Изображение:075.png|.:]] |
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell|Служебные слова и синтаксис Haskell]] [[Изображение:075.png|.:]] |
||
#[[Основы функционального программирования/Модули и монады в Haskell|Модули и монады в Haskell]] [[Изображение: |
#[[Основы функционального программирования/Модули и монады в Haskell|Модули и монады в Haskell]] [[Изображение:075.png|..]] |
||
#[[Основы функционального программирования/Операции ввода-вывода в Haskell|Операции ввода-вывода в Haskell]] [[Изображение: |
#[[Основы функционального программирования/Операции ввода-вывода в Haskell|Операции ввода-вывода в Haskell]] [[Изображение:075.png|..]] |
||
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение: |
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:075.png| .]] |
||
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение: |
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:075.png| .]] |
||
#[[Основы функционального программирования/Формализация |
#[[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления|Формализация функционального программирования на основе λ-исчисления]] [[Изображение:075.png| .]] |
||
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение: |
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:075.png| .]] |
||
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по функциональному программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по функциональному программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
Версия от 21:29, 9 февраля 2008
Этот учебник составлен из 11 лекций по функциональному программированию, читанных студентам четвёртого курса кафедры кибернетики МИФИ. Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
Стадии развития викиучебников | ||||
---|---|---|---|---|
Недавно созданный | Разрабатываемый: | Растущий: | Разработанный: | Законченный текст |
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell
- Модули и монады в Haskell
- Операции ввода-вывода в Haskell
- Конструирование функций
- Доказательство свойств функций
- Формализация функционального программирования на основе λ-исчисления
- Трансформация программ
Первоначальный текст: Лекции по функциональному программированию. Автор — Душкин Р. В.