Я пытаюсь выяснить, как заставить традиционную инъекцию зависимостей на основе конструктора...

Следующие проверки типов определения Idris с помощью Idris 1.3.0: foo : (xs : List Nat) -> xs =...

Я читаю книгу Программирование на Haskell из первых принципов , и в главе newtype есть упражнение,...

GHCI жалуется на типы k и a внутри (k * a, k * b).Я думаю, он не знает, что k это Num, но я не знаю...

Я хотел бы использовать классы типов, чтобы обеспечить специализированную реализацию для...

QuantifiedConstraints 1 находится в GHC 8.6, я читаю Классы типов деривации (раздел 7) 2 , где...

Я смотрю ссылки на backpack вики , пытаясь понять, в каких случаях использование backpack будет...

Ниже приводится очень упрощенная версия того, что я пытаюсь сделать. Предположим, я хочу создать...

Я пытаюсь понять иерархию числового типа в Haskell.Основной числовой тип: class Num a where ... В...

Есть ли способ использовать рекурсию с классами типов Coq?Как, например, при определении show для...

Я пытаюсь преобразовать Haskell Semigroup в Scala. Код на Haskell работает нормально, но я не могу...

У меня проблемы с типами, зависящими от пути. У меня есть несколько типов Foo с абстрактным членом...

Я хотел бы научить GHC выводить новые классы типов.Возможно ли сделать это внешне без использования...

Для упражнения в главе 15 Программирование на Haskell из первых принципов , я пытаюсь написать...

У меня есть класс типов со связанным типом: class Foo a where type Bar a :: * ... Теперь я хотел бы...

Я оказался в ситуации, когда экземпляр класса типов, который я хочу определить, требует...

осложнение. Рассмотрим следующий фрагмент: class D u a where printD :: u -> a -> String...

У меня есть следующее определение класса типа - trait ToBigInt[A] { def toBigInt(n: A): BigInt }...

В приведенном ниже примере минимального класса типов scala 2.12.6 / sbt 1.2.1 жалуется could not...

Я хотел бы написать class Described a where describe :: a -> String instance {-# OVERLAPPING #-}...

Когда я пытаюсь создать instance класса типов Show, я получаю подсвеченные места, где я использовал...

Попытка запустить прокси-сервер haskell «haxy» . С proxyMain :: forall s. HStream s => Settings...

У меня есть вопрос, очень похожий на этот: Скала дисперсия высшего рода Это, однако, немного...

Я пытаюсь сделать что-то похожее на этот вопрос . Я бы хотел определить класс типов class Wrapper f...

Здравствуйте, я новичок в Haskell, и мне было интересно: Для каждого нового определенного...