data-kinds

12зной

1ответ

Kind Demotion (в отличие от Kind Promotion)

Расширение DataKinds способствует «значениям» (т. Е. Конструкторам) в типы. Например, True и False становятся отличными видами вида Bool. Что я хотел бы сделать, это наоборот, то есть типы demote в зн

6зной

1ответ

Не удалось сопоставить тип '*' с 'Nat'

Я пытаюсь создать тип, который гарантирует, что строка меньше N символов. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE DataKi

3зной

1ответ

Typeclass, созданный при каждом значении типа данных

Можно ли указать, что каждый член datakind удовлетворяет классу типов, так что подразумевается ограничение класса? Например. data AB = A | B class Foo (a :: AB) where get :: proxy a -> String instan

4зной

2ответ

Понимание этого определения HList

Я относительно новичок в Haskell, и я пытаюсь понять одно из определений HList. data instance HList '[] = HNil newtype instance HList (x ': xs) = HCons1 (x, HList xs) pattern HCons x xs = HCons1 (x,

2зной

2ответ

Функции с более высокими видами?

Пусть следующие типы данных определяются: data X a = X {getX :: a} data Y a = Y {getY :: a} data Z a = Z {getZ :: a} Должен ли быть три отдельных функций, getX, getY и getZ? Мне кажется, что там м

2зной

2ответ

Вложенное программирование на уровне уровня

Я пытаюсь использовать DataKinds для программирования на уровне уровня, но я сталкиваюсь с трудностями, когда у меня есть одна из этих структур, вложенных в другую. {-# LANGUAGE DataKinds, TypeFamilie

1зной

2ответ

Как обработать рекурсивный GADT с видом :: '[SomeDataKind]

Я думаю, что это самый дальний в расширении системы типа Haskell, который я даже был, и я столкнулся с ошибкой, которую мне не удалось выяснить. Извините заранее за длину, это самый короткий пример, к