Результаты поиска по запросу "data-kinds"
Карта уровня типа с типами данных
У меня есть общий шаблон, где у меня есть список уровня типа
Могу ли я предоставить средства проверки типов с доказательствами об индуктивных натуральных числах в GHC 7.6?
GHC 7.6.1 поставляется с новыми функциями для программирования на уровне типов, в том числепродвижение типа данных, Взяв пример о натуралах и векторах на уро...
Карта уровня типа с типами данных
У меня есть общий шаблон, где у меня есть список уровня типа[*]и я хотел бы применить конструктор типа вида* -> * каждому элементу в списке. Например, я хотел бы изменить тип'[Int, Double, Integer] в'[Maybe Int, Maybe Double, Maybe Integer]. Вот ...
Проблема с DataKinds
Я создал очень простой пример проблемы, которую яЯ использую GADTs и DataKinds. Мое реальное приложение, очевидно, более сложное, но оно четко отражает суть ...
Понимание этого определения HList
Я относительно новичок в Хаскеле, и я пытаюсь понять одно из определенийHList.
Проблема с DataKinds
Я создал очень простой пример проблемы, с которой я сталкиваюсь, используя GADT и DataKinds. Мое реальное приложение, очевидно, более сложное, но оно четко отражает суть моей ситуации. Я пытаюсь создать функцию, которая может возвращать любое из ...
Список любого `DataKind` в GADT
отказGADT & DataKinds для меня неисследованная территория, поэтому некоторые из их ограничений и возможностей мне неизвестны.ВопросПоэтому я пишу AST для...
Могу ли я предоставить средства проверки типов с доказательствами об индуктивных натуральных числах в GHC 7.6?
GHC 7.6.1 поставляется с новыми функциями для программирования на уровне типов, в том числепродвижение типа данных, Взяв пример о натуральных числах и вектор...