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