Я давно реализовал тип данных для симметричных групп (и циклических групп): newtype Cyclic (n ::...
Когда у меня есть зависимый тип в Haskell, как мне использовать значение, сохраненное в типе в...
У меня есть следующий класс, представляющий категории, где класс объекта представлен видом, а...
Я новичок, когда дело доходит до библиотеки singleton, и может откусил больше, чем я могу здесь...
Я пытаюсь создать статически типизированную систему авторизации и получить следующий рабочий...
Я пытаюсь написать s разумно статически проверенную систему авторизации [1], и в настоящее время...
Я чешу голову со следующим поведением. Есть ли очевидная причина, почему это так? Prelude> :set...
С риском того, что это станет XY-проблемой , возможно ли иметь ReaderT в другой среде? Я пытаюсь...
Изучая и изучая систему типов в Хаскеле, я обнаружил некоторые проблемы. 1) Давайте рассмотрим...
Есть известный пример натуральных чисел уровня типа: data Zero data Succ n У меня есть вопрос о...
Я использую расширение GHC -XDataKinds и у меня включен -Wall в библиотеке на Haskell, которую я...
Скажите, у меня есть следующее: data Type = StringType | IntType | FloatType data Op = Add Type |...
У меня есть две функции, обе с типом Nat (из TypeNats), у обеих есть оператор типа сравнения <=
Я не уверен, что это правильная терминология, но возможно ли объявить типы функций, которые...
Я видел этот синтаксис '[] и ': в нескольких местах, особенно в пакетах разнородных...
Этот вопрос является продолжением следующего вопроса. Сначала обратитесь к нему: Перекрывающиеся...
Эта проблема фактически возникла при попытке реализовать несколько математических групп как типы. У...
Я изучаю программирование типов в Haskell из Базовое программирование на уровне типов в Haskell ,...
Используя пакет conkin: https://hackage.haskell.org/package/conkin Я хочу иметь возможность взять...
Я пытаюсь реализовать тип CurrencyQty, который действует как число, помеченное во время компиляции:...
В основном я создал тип с тремя атрибутами, давайте назовем его "Foo" type Foo = Foo Att1 Att2 Att3...
У меня проблемы с реализацией IsList экземпляра для GADT, который представляет структуру значений...
Могу ли я иметь безопасное объединение типов (как в C union) в Haskell?Это лучшее, что я пробовал,...