Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
мНет описания правки |
м Пометка второго раздела |
||
Строка 4: | Строка 4: | ||
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:075.png|.:]] |
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:075.png|.:]] |
||
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение: |
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:075.png|.:]] |
||
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:050.png|..]] |
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:050.png|..]] |
||
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]] |
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]] |
Версия от 13:10, 22 февраля 2006
Стадии развития викиучебников | ||||
---|---|---|---|---|
Недавно созданный | Разрабатываемый: | Растущий: | Разработанный: | Законченный текст |
Данный учебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ (Московского инженерно-физического института). Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2 ..
- Основы языка Haskell ..
- Служебные слова и синтаксис Haskell'а ..
- Модули и монады в Haskell'е ..
- Операции ввода/вывода в Haskell'е ..
- Конструирование функций
- Доказательство свойств функций
- Формализация ФП на основе λ-исчисления
- Трансформация программ
Автор: Dark Magus
Внешние ссылки
- Оригинальный текст лекций: Лекции по Функциональному Программированию