У меня есть простая функция (фактически используемая для некоторых задач проекта Эйлера). Он превращает список цифр в десятичное число. fromDigits :: [Int] -> Integer fromDigits [x] = toInteger x fromDigits (x:xs) = (toInteger x) * 10 ^ length...

Я пытаюсь написать функции, которые добавляют и умножают все элементы в списке, используя моноиды и Foldable. Я установил код, который, как мне кажется, работает: data Rose a = a :> [Rose a] deriving (Eq, Show) instance Functor Rose...

Я изучаю haskell и пытаюсь сделать красивую программу для печати. В какой-то момент я хочу получить длину строки (т.е. количество столбцов в этой строке). Чтобы иметь возможность сделать это с моим типом данных, я понимаю, что мне нужно реализовать...

Глядя на определение Monoid , я заметил, что mconcat имеет следующее определение ( источник ): mconcat :: Monoid a => [a] -> a mconcat = foldr mappend mempty Почему подпись ограничивает это значение [a] , а не более общим...