Если у меня есть тип, ограниченный конечным DataKind {-# LANGUAGE DataKinds #-} data K = A | B data Ty (a :: K) = Ty { ... } и экзистенциальный тип, который забывает точный выбор K в типе... но помнит его в переданном словаре. class...

Отказ от ответственности GADT и DataKinds для меня неизведанная территория, поэтому некоторые их ограничения и возможности мне неизвестны. Вопрос Итак, я пишу AST для эмиттера кода JavaScript, и я определил один крайний случай между...

Я просто изучаю все, что могу, об ExistentialQuantification, GADT, KindSignatures и т. д. И для этого я пытаюсь придумать несколько небольших программ, которые помогают мне лучше понять все. Теперь у меня есть этот небольшой фрагмент (который на...

Я получаю сообщение об ошибке при попытке определить синоним шаблона на основе GADT со списком на уровне типов. Мне удалось свести это к этому примеру: {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-#...

Я работаю над созданием своего собственного симулятора Diplomacy на Haskell, чтобы намочить ноги. . Я считаю, что придумал достойное определение того, что такое заказ: data Order = Hold Unit Territory | Move Unit Territory...

Я изучаю программирование типов в Haskell из Основного программирования на уровне типов в Haskell , но когда он вводит расширение DataKinds , в примере есть что-то непонятное: {-# LANGUAGE DataKinds #-} data Nat = Zero | Succ Nat Теперь...

Я создаю Haskell Servant API, используя библиотеку SQL под названием Squeal : https://github.com/morphismtech/squeal Мне нужна помощь в корректировке типов, чтобы приложение скомпилировалось. Моя Схема имеет тип type Schema =...

Я попытался смоделировать квантовый компьютер. Вот тип данных, представляющий кубиты: {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-#...