Основы функционального программирования/Haskell/Модули и монады: различия между версиями

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