Основы функционального программирования/Haskell/Модули и монады: различия между версиями
Содержимое удалено Содержимое добавлено
Gribozavr (обсуждение | вклад) м категория |
|||
Строка 170:
2. Применение монад в функциональных языках — это по существу возвращение к императивности. Ведь операции связывания <code>(>>=)</code> и <code>(>>)</code> предполагают последовательное выполнение связанных выражений с передачей или без результатов вычисления. То есть монады — это императивное ядро внутри функциональных языков. С одной стороны, это идёт в разрез с теорией функционального програмирования, где отрицается понятие императивности, но, с другой стороны, некоторые задачи решаются только при помощи императивных принципов. И опять же, Haskell предоставляет удивительную возможность по генерации списков, но это только благодаря тому, что сам тип «список» выполнен в виде монады.
[[Категория:Основы функционального программирования]]
|