Я пытаюсь создать класс, который хранит пользовательскую функцию внутри него для дальнейшего...
Я новичок в Хаскеле. Это может быть глупым вопросом. Поскольку класс типов Applicative имеет...
Я видел этот пример того, как сделать это в C ++ 11: std::unique(v.begin(), v.end(), [](float l,...
Я обрабатываю события, определенные сторонним API. События идентифицируются строковыми...
Итак, скажем, я хочу определить новый тип, в котором находится функция: newtype Test m a = Test(m...
Я пытаюсь понять связь между функтором и моноидом. Они часто упоминаются вместе, но я не смог...
Фон. В одном из моих занятий мы изучали монаду Parser. Монада Parser обычно определяется либо как...
У меня есть набор данных, который должен быть отсортирован по критериям, определяемым пользователем...
У меня проблема с функтором в Окамле. У меня есть такая ситуация: module type EveryType = sig type...
При вызове следующего, GHCI возвращает ошибку: переменные неоднозначного типа 'f0', 'b0',...
Я изучаю Haskell, и меня попросили выполнить это упражнение: Реализация нового типа данных с именем...
Если я не допустил простой ошибки, следующие фрагменты кода должны быть функционально идентичными:...
Ржавчина не имеет типов с более высоким родом.Например, функтор (и, следовательно, монада) не может...
В некоторых более старых версиях visual-studio требовалось полное определение типа, чтобы...
Когда я пытаюсь передать функцию в качестве параметра типа шаблона шаблона в класс, произошла...
Мне нужен тип данных, который либо содержит точное значение, либо содержит список возможных...
У меня есть эта подпись для изменяемого набора: open Base open Hashable module type MutableSet =...
Я читал о дополнениях в течение последних нескольких дней. Хотя я начинаю понимать их важность с...
Например, слияние петель можно получить с помощью Yoneda: newtype Yoneda f a = Yoneda (forall b. (a...
В Haskell функторы почти всегда могут быть получены, есть ли случай, когда тип является функтором и...
Scala's Option - это и монада, и функтор? Насколько я понимаю, functor - это просто тип данных,...
Определенная ниже функция mapRightR изменяет только установленное содержимое карты, а не ключи, и...
У меня есть вопрос относительно синтаксиса вызова функтора в C ++.В приведенном ниже коде, почему...
Следующий фрагмент тестового кода не компилируется: #include <iostream> #include...
Я работаю над перезаписью IR компилятора, в котором и классы IR, и алгоритмы постоянно меняются