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