В Haskell мы имеем traverse_, функцию, которая работает на Foldable типов сложить структуру с аппликативной функцией, отбрасывая любой результат: traverse_ :: (Applicative f,Foldable t) => (a -> f b)
первого вопроса здесь и полностью нуб на Haskell, поэтому, пожалуйста, не будь добр со мной :) Я играл с вопросом номером 6 this Haskell упражнение и в конце концов пришли к решению (или что-то подобн
Я рассматриваю класс Foldable в Haskell. Для двух методов fold, foldMap требуется экземпляр Monoid. Но foldr или foldl не имеют такого ограничения. fold :: Monoid m => t m -> m
foldMap :: Monoid m =>
Документация Hackage для списков Maybe Может быть отсканирована как одно из возможных моделей. В нем также перечислены следующие функции: null :: Maybe a -> Bool
Он даже ссылки на реализацию этой фу