У меня есть следующий класс дел: case class GHUser(login:String, contributions:Option[Int]) И...

Я пытаюсь понять связь между функтором и моноидом. Они часто упоминаются вместе, но я не смог...

Я использую State monoid для обновления состояния объекта, как указано в книге «Функциональное и...

Я играю с полиморфизмом возвращаемого типа Haskell, используя следующую функцию: f :: [a] -> [a]...

Я пытаюсь понять, что такое Monoid с точки зрения теории категорий, но меня немного смущает нотация...

У меня есть следующий тип, который я хочу быть экземпляром Monoid typeclass. Я не знаю, как задать...

Я читал о моноидном гомоморфизме из Моноидные морфизмы, продукты и сопутствующие продукты и не мог...

Я пытаюсь расширить свое понимание символов в Haskell: $ : Function Application operator (Allow you...

У меня проблемы с пониманием этого кода из книги FP в Scala.Вот код: trait Monoid[A] { def op(a1: A...

Я пытаюсь понять Traversable с помощью https://namc.in/2018-02-05-foldables-traversals. Где-то...

in Data.Monoid: newtype Sum a = Sum { getSum :: a } deriving ( Eq -- ^ @since 2.01 , Ord -- ^...

Я изучаю Haskell из учебника «Учим Haskell для великого добра», и я дошел до роли писательских...

В этой статье Функциональные моноиды представлены кодом C # и определением типа Haskell. Функция a...

Я пытаюсь сделать игру в крестики-нолики, и я решил построить типы для ячеек (элементов доски) и...

У меня есть структура данных record IdentityPreservingMorphism domain codomain where constructor...

Здравствуйте, я пытаюсь сделать следующее: module MyMonad where f::(Monad m),=>m...

Похоже, у меня есть довольно четкое понимание того, что такое Monoid в Хаскеле, но в последний раз...

newtype Comparison a определяется в Data.Functor.Contravariant. В версии этого модуля, определенной...