Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
м п -> П |
м Ссылка на Wikipedia |
||
Строка 1: | Строка 1: | ||
Данный учебник представляет собой курс из 11 |
Данный учебник представляет собой курс из 11 лекций по [[w:Функциональное программирование|функциональному программированию]], читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]]. |
||
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] |
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] |
Версия от 07:12, 6 февраля 2006
Данный учебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ (Московского инженерно-физического института). Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell'а
- Модули и монады в Haskell'е
- Операции ввода/вывода в Haskell'е
- Конструирование функций
- Доказательство свойств функций
- Формализация ФП на основе λ-исчисления
- Трансформация программ
Автор: Dark Magus