Я заметил, что существует двойственное отношение между монадами Writer m и Either e . Если m — моноид, то unit :: () -> m join :: (m,m) -> m может использоваться для формирования монады: return is composition: a -> ((),a)...

Я изучал моноиды Haskell и их использование , что дало мне довольно хорошее понимание основ моноидов. Одна из вещей, представленных в сообщении блога, - это моноид Any, и его использование выглядит следующим образом: foldMap (Any . (== 1)) tree...

Прошу прощения за терминологию, у меня все еще не получается. Дерево: data Ftree a = Empty | Leaf a | Branch ( Ftree a ) ( Ftree a ) deriving ( Show ) У меня есть несколько вопросов: Если Ftree не может быть Empty , он больше...

Предположим, я использую библиотеку Rng для простого моделирования методом Монте-Карло (как в этом post ). val d : Rng[Double] = double val point : Rng[(Double, Double)] = pair(d, d) val points = point.stream(1000) val tests =...

Почему сгиб над длиной списка не является моноидом? length = foldr (\_ n -> 1+n) 0 Разве он не ассоциативен и имеет нейтральный элемент 0 , так что он должен быть моноидом?

instance Monoid m => Applicative (Const m) where pure _ = Const mempty Const f <*> Const v = Const (f `mappend` v) Я не понимаю, как определение типа <*> может проверять тип. С левой стороны f ограничивается...

Предположим, у меня есть список функций E => Either[Exception, Unit] , которые нужно вызывать при событии E и накапливать ошибки для возврата Either[List[Exception], Unit] . type EventHandler = E => Either[Exception, Unit] import...

Возможно, у меня сложилось ложное впечатление, что Haskell ленивее, чем он есть на самом деле, но мне интересно, есть ли способ получить лучшее из обоих миров... Data.Monoid и Data.Semigroup определяют два варианта First . Моноидальная версия...

У меня есть следующая черта: import scalaz.Monoid trait Mapper[M, R] { def map(m: M): R } object Mapper { @inline implicit def listMapper[M, R] (implicit mapper: Mapper[M, R], s: Monoid[R]): Mapper[List[M], R] = (xs: List[M])...

Я изучал Haskell в течение последних нескольких месяцев и наткнулся на пример моноидов, который меня озадачил. Учитывая эти определения: data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Show, Read, Eq) instance F.Foldable Tree where...

Возможно, ни одно из этих утверждений не является категорично точным, но монаду часто определяют как «моноид в категории эндофункторов»; определен Alternative Haskell как «моноид на аппликативных функторах», где аппликативный функтор - это...

Очевидно, что если структура данных является моноидом, то она сворачиваема, но можно ли с уверенностью сказать, что если структура данных сворачиваема, то это моноид? https://en.wikibooks.org/wiki/Haskell/Foldable Если структура данных...

С одной стороны, монадический оператор привязки >>= является левоассоциативным (AFAIK). С другой стороны, закон монад требует ассоциативности, т.е. порядок вычислений не имеет значения (как в случае с моноидами). Кроме того, монады кодируют...