Начиная с конкретного случая моего вопроса, мы все знаем (и любим) класс типа Monad: class ......
instance Functor Maybe where -- fmap :: (a -> b) -> Maybe a -> Maybe b fmap f Nothing =...
Я работаю над домашним заданием и мне нужна помощь. Задача: На первом шаге мне нужно определить...
Если у меня есть тип данных G, реализованный с ограничением типа следующим образом: data Ord v...
Если у меня есть MultiParamTypeClass, скажите Dictionary a k v (что бы это ни было, это * -> *...
Следующий фрагмент приводит к зависанию GHC (проверено с помощью 8.6.2 и 8.4.4) во время...
Я попробовал следующий код class Group a where (.+.) :: a -> a -> a (.-.) :: a -> a ->...
Компиляция этого короткого фрагмента в GHC 8.6.2: {-# LANGUAGE DeriveGeneric, PolyKinds #-} import...
Я пытаюсь заставить работать следующий код: instance (Integral n, OffsetCalculator o, HexDirection...
У меня есть требование, чтобы иметь возможность подсчитывать количество раз AtomicReference[V].get...
Допустим, у меня есть два экземпляра класса типов Numeric. class Money(c: String, x: Long, y: Int)...
Я пытаюсь создать функцию Haskell с классом, чтобы эта функция работала с различным числом...
Я хочу реализовать свою пользовательскую функцию minWithIndex, поэтому я изучил функцию...
Я пытаюсь реализовать Functor экземпляр класса типов для очень тривиального типа Foo: data Foo a =...
Я хочу написать простую структуру, которая работает с существующими объектами.Идея состоит в том,...
Я работаю над своим заданием для функционального программирования. Задача: Мы вводим класс типов...
Мой код работает.Я просто хотел бы знать, возможно ли просто добавить что-то в объявлении...
У меня есть класс, который предварительно реализует одну функцию (на данный момент), и я хочу...
Я сейчас читаю газету Монадные трансформаторы Шаг за шагом Мартин Грабмюллер. В статье есть часть,...
Если у меня есть такой класс class CanFlyType[T <: {type thing <: Bird}](t : T) { def...
Здравствуйте, я столкнулся со следующей проблемой: Я определил класс типов: * 1004 класс типов **...
Я пытаюсь решить проблему выражения, используя классы типов.Я основал свою работу на примере,...
Я сталкиваюсь с тем же шаблоном в моих проектах, где я начинаю с типа с несколькими конструкторами...
Допустим, у меня есть следующая сигнатура типа: someFunction :: (Eq a, Eq b) => a -> b С...
У меня есть класс Movable и несколько типов данных, которые создают этот класс.Я хочу создать...