Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
м Ссылка на Wikipedia |
мНет описания правки |
||
Строка 16: | Строка 16: | ||
=== Внешние ссылки === |
=== Внешние ссылки === |
||
*[http://roman-dushkin.narod.ru/fp.html Лекции по Функциональному Программированию] |
*Оригинальный текст лекций: [http://roman-dushkin.narod.ru/fp.html Лекции по Функциональному Программированию] |
||
[[Категория:Функциональное программирование]] |
[[Категория:Функциональное программирование]] |
Версия от 05:44, 7 февраля 2006
Данный учебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ (Московского инженерно-физического института). Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell'а
- Модули и монады в Haskell'е
- Операции ввода/вывода в Haskell'е
- Конструирование функций
- Доказательство свойств функций
- Формализация ФП на основе λ-исчисления
- Трансформация программ
Автор: Dark Magus
Внешние ссылки
- Оригинальный текст лекций: Лекции по Функциональному Программированию