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