Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
Greck (обсуждение | вклад) мНет описания правки |
Greck (обсуждение | вклад) мНет описания правки |
||
Строка 18: | Строка 18: | ||
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по Функциональному Программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по Функциональному Программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
||
==См. также== |
|||
* http://swik.net/functional?tagspage |
|||
* http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/ |
|||
* http://www.scheme.com/tspl/ |
|||
* http://cl-cookbook.sourceforge.net/ |
|||
* http://www.gigamonkeys.com/book/ |
|||
[[Категория:Функциональное программирование]] |
[[Категория:Функциональное программирование]] |
Версия от 12:26, 30 марта 2006
Этот учебник составлен из 11 лекций по функциональному программированию, читаемых студентам четвёртого курса кафедры кибернетики МИФИ. Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
Стадии развития викиучебников | ||||
---|---|---|---|---|
Недавно созданный | Разрабатываемый: | Растущий: | Разработанный: | Законченный текст |
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell'а
- Модули и монады в Haskell'е ..
- Операции ввода/вывода в Haskell'е ..
- Конструирование функций
- Доказательство свойств функций
- Формализация ФП на основе λ-исчисления
- Трансформация программ
Первоначальный текст: Лекции по Функциональному Программированию. Автор — Душкин Р. В.