Я играю с функцией -XDataKinds от Haskell довольно недавно, и я обнаружил, что хочу создать вид. Я не уверен, если мои желания могут сбыться, но от Эдварда Kmett-х constraints package, там, кажется, о
Учитывая АТД как data K = A | B Bool
расширение DataKinds позволяет поднять его на виды и конструкторы типов/типа K :: BOX
'A :: K
'B :: 'Bool -> K
Есть способ добавить конструктор к K, поднимаю
У меня есть тип юниверса и рабочий тип. Рабочие могут изменить вселенную. Я хотел бы добиться того, чтобы вселенная могла быть модифицирована только работниками из этой вселенной (а не в будущем или в
Итак, я играл с DataKinds и TypeFamilies в Haskell и начал смотреть на генерируемый Core GHC. Вот немного TestCase мотивировать мой вопрос: {-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# L