Итак, у меня есть довольно сложная функция: template <typename T> void foo(const int param1,...
Пример из Functor, Applicative и Monad слегка изменен: {-# LANGUAGE ApplicativeDo #-} import Safe...
Согласно hackage , функтор Представимый должен быть в Data.Functor.Representable или Data.Functor
Я бы хотел сделать вложенные аппликативные функторы разных типов.Например, вложенные простые...
instance Functor Maybe where -- fmap :: (a -> b) -> Maybe a -> Maybe b fmap f Nothing =...
У меня есть 2 сопрограммы IEnumerator, которые достаточно похожи, чтобы их можно было...
Если у меня есть тип данных G, реализованный с ограничением типа следующим образом: data Ord v...
Я пытаюсь реализовать Functor экземпляр класса типов для очень тривиального типа Foo: data Foo a =...
У меня есть класс функторов с внутренним состоянием, фиксированным типом вывода и фиксированными...
Привет, я хочу передать функцию-член в качестве аргумента в конструктор другого класса.Я пробовал...
std::for_each(my_data.begin(), my_data.end(), [&result](const auto & what) { result += what;...
Я создаю приложение, которое может быть расширено несколькими плагинами, которые унаследованы от...
Почему код строки generateScripts pb = (greet <$>) <$> (maybeName <$> pb есть...
Учитывая функтор и конкретный способ, которым вы хотите развернуть его значение, есть ли...
Упражнение 28.3 "получить программирование с помощью haskell" от Уилла Курта. Идея состоит в том,...
Здравствуйте, я столкнулся со следующей проблемой: Я определил класс типов: * 1004 класс типов **...
немного запутался. fmap звучит так, как может map во всем списке Maybe, но я не могу заставить его...
Предположим, у меня есть класс с двумя функциями-членами: #include <string> #include...
Здравствуйте, я читаю Real World Haskell и наткнулся на этот пример из Chapter 10 - Parsing a raw...
Ниже приведен простой пример с вещами, которые меня раздражают. Также ссылка на онлайн-компилятор c...
Я выполняю упражнение по программированию на Haskell из первых принципов, глава 16. Вопрос состоит...
У меня проблемы с пониманием, возможно ли следующее с помощью проверки типов или просто невозможно
В этом ответе от Конора МакБрайда (свинарник) обсуждаются Applicative функторы, которые также...
Скажем, у меня есть 2 функтора f0 и f1, и у меня есть некоторый код, который выглядит как - f0
Я пишу компилятор, и мне нужно представить несколько структур, которые являются рекурсивными и...