在异常处理中使用 GADT
这是我的问题 ，我使用 Control.Exception.catch 进行异常处理，其类型如下： （从 Hoogle 中挑选） catchSource :: Exception e => IO a The computa…
使用参数化类型的不明确类型 Haskell
我有一个非常简单的函数，它接受参数化数据类型并返回相同的类型： {-# LANGUAGE ScopedTypeVariables #-} class IntegerAsType a where value :: a -…
在 ocaml 中输入级别整数
有人可以给我关于在 OCaml (3.12) 中制作类型级整数支持加法和减法运算的建议/建议吗？ 例如，如果我有这样表示的数字： type zero type 'a succ type…
为 GADT 定义您自己的 Typeable 实例
有人可以给我指出一组在 Haskell 中为 GADT 定义 Typeable 或 Typeable1 实例的好示例吗？ 或者，有人可以向我展示如何为以下 GADT 定义 Typeable（手…
Haskell——双向类实例类型含义或 GADT 存在类型限定？
我有一个像（缩写）这样定义的 GADT， {-# LANGUAGE StandaloneDeriving #-} data D t where C :: t -> D t R :: D b -> D (Either a b) deriving ins…
Fundeps 和 GADT：类型检查何时可判定？
我正在阅读一篇关于 Haskell 以及 HList 是如何实现的研究论文，并且想知道所描述的技术何时对于类型检查器是可判定的以及何时不可判定。 另外，因为…
- 共 1 页
- 1
