Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
不同种类的ReaderT?
冒着成为一个XY问题 https en wikipedia org wiki XY problem 是否有可能有一个ReaderT与不同的环境 我正在尝试类似 type AppM perms ReaderT perms IO 但是编译器抱怨
Haskell
higherkindedtypes
datakinds
使用 TH QuasiQuote 中的 DataKinds 生成类型注释
在使用模板 haskell 的 haskell 项目中 我尝试生成一个具有类型注释作为幻像类型的表达式 一个简单的例子是这样的情况DataKinds and KindSignatures like LANGUAGE DataKinds Ki
list
Haskell
templatehaskell
datakinds
作为期限或值计算结果的返回类型
我试图很好地掌握种类 类型和术语 或值 不确定哪个是正确的 以及用于操作它们的 GHC 扩展 我知道我们可以使用 TypeFamilies 来编写带有类型的函数 现在我们还可以使用 DataKinds PolyKinds 等在某种程度上操作
Haskell
types
typefamilies
datakinds
异常类型和数据构造函数
我不知道我怎么没有注意到这一点 但是数据构造函数和函数定义都不能使用除 和它的变种 gt 等 由于 gt 的友善签名 即使在 XPolyKinds 这是我尝试过的代码 LANGUAGE DataKinds LANGUAGE KindSign
Haskell
polymorphism
dependenttype
datakinds
typekinds
通过 Nat-kind 重叠实例
这个问题实际上是由于尝试将少数数学群实现为类型而出现的 循环群没有问题 实例Data Group其他地方定义 newtype Cyclic n Nat Cyclic cIndex Integer deriving Eq Ord cyclic
Haskell
Math
gadt
datakinds
overlappinginstances
DataKinds 和类型类实例
下面的例子是我现实生活中问题的简化版本 它似乎在某种程度上类似于从 DataKinds 约束的存在类型中检索信息 https stackoverflow com questions 24387865 retreiving informati
Haskell
typeclass
datakinds
具有类型 nat 的向量的应用实例
我目前正在与善良的人玩耍 并在尝试定义矢量数据类型的应用实例时陷入困境 我认为一个合理的例子是pure 1 Vec 3 Int会给我一个长度为 3 的向量 所有元素均为值 1 和 lt gt 运算符将函数与值压缩在一起 我陷入困境的问题是它
Haskell
datakinds
我可以向类型检查员提供 GHC 7.6 中归纳自然数的证明吗?
GHC 7 6 1 附带了类型级别编程的新功能 包括数据类型提升 http www haskell org ghc docs 7 6 1 html users guide promotion html 以类型级自然数和向量为例 我希望能够在
Haskell
ghc
datakinds
数据类型的问题
我创建了一个非常简单的示例来说明我使用 GADT 和 DataKinds 时遇到的问题 我的实际应用程序显然更复杂 但这清楚地抓住了我的情况的本质 我正在尝试创建一个可以返回 Test 类型的任何值 T1 T2 的函数 有没有办法实现这一点
Haskell
gadt
datakinds
带有 DataKinds 的类型级映射
我有一个常见的模式 其中有一个类型级别的列表 我想应用一种类型构造函数 gt 到列表中的每个元素 例如 我想更改类型 Int Double Integer to Maybe Int Maybe Double Maybe Integer 这是
Haskell
typeinference
datakinds