Предположим, у меня есть два типа, Vector2D и Vector3D, и они помечены (это правильный термин,...

Я обернул все семейство данных в одну экзистенциальную: data Type = Numeric | Boolean data family...

Я давно реализовал тип данных для симметричных групп (и циклических групп): newtype Cyclic (n ::...

Когда у меня есть зависимый тип в Haskell, как мне использовать значение, сохраненное в типе в...

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

Я хочу использовать GADT как возвращаемое значение стека трансформаторов монад mtl, но GADT имеет...

Я хочу хранить набор элементов разных «сортов» в структуре данных контейнера (list, set, ..) и...

Я пытаюсь смоделировать тип как объединение, в котором каждый член этого объединения имеет общие...

Я использую ConstraintKinds и MultiParamTypeClasses, чтобы получить класс, параметризованный другим...

Изучая и изучая систему типов в Хаскеле, я обнаружил некоторые проблемы. 1) Давайте рассмотрим...

Есть известный пример натуральных чисел уровня типа: data Zero data Succ n У меня есть вопрос о...

Давайте определим два вспомогательных типа: Inductive AB : Set := A | B. Inductive XY : Set := X |...

Мне было интересно посмотреть, смогу ли я создать очень простой AST, состоящий из операций и...

Исходя из этого q о GADT , я пытаюсь построить EDSL (для примера в статье), но без GADT.У меня есть...