Я пытаюсь глубже понять парадигму глобальных переменных в Haskell, я взялся за работу над...
Я хочу написать такой класс: class C c where op :: c -> c -> Bool class A b => B b where...
Пожалуйста, прокрутите вниз, чтобы прочитать важные изменения к этому вопросу Оригинальный...
Я хочу создать два класса типов, A и B, где A - суперкласс B.Функции, определенные в B, достаточны...
У меня есть семейство типов, определенное следующим образом: type family Vec a (n :: Nat) where Vec...
Я пытаюсь определить что-то в Idris, которое предоставит способ типографского представления типов
Согласно эта ссылка описывает экзистенциальные типы : Значение экзистенциального типа, такого как...
Учитывая следующий код: object DelayedClassTagInference { trait SS { type TT <: Any implicit val...
Моя ментальная модель голов экземпляров - это сопоставление с образцом на уровне типов с привязкой...
Мне нужно вызвать floor() для значения, которое ограничено только классом Floating, но floor()...
Предположим, у меня есть это семейство типов, которое выдает ошибку нестандартного типа во время...
Я хочу сериализовать и десериализовать классы дел в JSON, и после десериализации их, основываясь на...
Это моя функция вычисления среднего числа в списке чисел arithMean :: (Fractional a) => [a]...
У меня есть класс типов, который выглядит примерно так: class Foo a b | a -> b where f :: a...
Я читаю книгу FP for Mortals, в которой есть следующая строка: Может быть только одна реализация...
Насколько я могу судить, GHC может преобразовать любой числовой литерал с полиморфным типом по...
Я пытаюсь создать класс типа с несколькими параметрами типа.Я пытаюсь вызвать метод неявным образом...
Я наблюдаю, что один и тот же fn дает разную производительность в зависимости от того, находится ли...
Есть ли способ убедить GHCi сказать мне, какие экземпляры классов типов реализованы в некоторых...
Допустим, у меня есть функция: logResult :: (MonadIO m, ToJSON a) => Either MyError (Response a)...
Фон Я написал следующий код на Haskell (GHC 8.6.3): {-# LANGUAGE NoImplicitPrelude,...
Я изучаю классы типов в Coq с книгой Software Foundations. Запуск следующего: Class Eq A := { eqb:...
При наличии параметризованного типа: data A a=X a| Y Я попытался (успешно) реализовать Functor и...
Семейство Contravariant классов типов представляет стандартные и фундаментальные абстракции в...
Я перевожу код на Haskell в https://sebfisch.github.io/haskell-regexp/regexp-play.pdf в Scala для...