Этот код работает: class MyObj {}; class MyData { public: using tMyMap = std::map<uint64_t,...
Я пытаюсь сделать Twice членом аппликативного, но я получаю «Противоречивые определения для« a »» в...
Я недавно изучал SML, когда узнал термины - аппликативные и генеративные функторы . Я также знаю,...
Я написал короткую функцию: swapMaybe : Monad m => Maybe (m a) -> m (Maybe a) swapMaybe...
Я немного новичок в C ++, поэтому я не уверен, как справиться с такой проблемой. У меня есть класс...
Я пытаюсь доказать утверждение об интерфейсе VerifiedFunctor (метод Functor, который map учитывает...
Рассмотрим этот код: template<class F> void foo1(F f) { f(); } template<class F> void...
Я написал структуру данных, data Bit a = Add a (Bit a) | End deriving (Show,Eq) data Bits a = Bits...
Кажется, вы можете просто заявить: import qualified Control.Category as Cat instance Cat.Category q...
Я хотел бы выразить следующий код на Haskell, используя только алгебру функторов (т.е. - , а не ,...
В Теория категорий для программистов Бартоша Милевского, Милевский пишет следующий код для...
Некоторые игры с функторами и монадами в ghci привели меня к значению, тип и поведение которого я...
В моем проекте у меня есть несколько типов данных, которые выглядят следующим образом data...
У меня есть игрушка DSL case class Logging[A](msg: String, action: A) case class Persist[A](msg:...
В следующем фрагменте кода я пытаюсь найти в мультикарте значения, равные значению myPairA.second,...
Я читал "Учим тебя на Хаскеле за великое благо!" и прямо сейчас я нахожусь в разделе «Класс типов...
Есть ли какой-то тип асинхронного функтора у кошек? Или хороший способ подражать такому поведению?...
Возможно, ни одно из этих утверждений не является категорически точным, но монаду часто определяют...
У меня есть система функций обратного вызова для организации процессов инициализации и выполнения...
У меня есть функция, которая может завершиться ошибкой, поэтому возвращаемое ею значение необходимо...
Я пытаюсь написать такую функцию, как mapFst :: Maybe (a, String) -> Maybe ([a], String)...
Я пытаюсь работать с компонентной моделью.По сути, я хочу иметь объект, к которому я могу...
Один из моих старшеклассников и я попытаемся сделать порт библиотеки комбинатора парсеров Parsec на...
У меня есть контейнер объектов, список;и класс Foo имеет функцию-член id (), возвращающую...
У меня проблема с шаблонами, которые используют класс и функцию в качестве параметров. Дело в том,...