Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
Ramir (обсуждение | вклад) м Вводная лекция]] :: |
Ramir (обсуждение | вклад) м откат. |
||
Строка 5: | Строка 5: | ||
<div style="margin-left: 1em;clear:both; margin-top: 1em; margin-right: 0.3em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{Стадии}}</div> |
<div style="margin-left: 1em;clear:both; margin-top: 1em; margin-right: 0.3em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{Стадии}}</div> |
||
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:100.png| |
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:100.png|.:]] |
||
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:075.png|.:]] |
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:075.png|.:]] |
||
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:075.png|.:]] |
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:075.png|.:]] |
Версия от 00:01, 17 апреля 2006
Этот учебник составлен из 11 лекций по функциональному программированию, читаемых студентам четвёртого курса кафедры кибернетики МИФИ. Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
Стадии развития викиучебников | ||||
---|---|---|---|---|
Недавно созданный | Разрабатываемый: | Растущий: | Разработанный: | Законченный текст |
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell'а
- Модули и монады в Haskell'е ..
- Операции ввода/вывода в Haskell'е ..
- Конструирование функций
- Доказательство свойств функций
- Формализация ФП на основе λ-исчисления
- Трансформация программ
Первоначальный текст: Лекции по Функциональному Программированию. Автор — Душкин Р. В.