GADT与现有量化类型(* forall *)

罗伯特·扎伦巴

可以使用GADT表示现有的量化类型

我看到GADT更通用-data -type-extensions,第7.4.7节

什么时候最好使用现有量化类型,然后使用GADT现有量化类型相比,使用GADT有什么缺点吗?

GS-向Monica致歉

GADT出现的时间比存在的时间晚,并且将其概括。我没有发现任何缺点,因此会在新代码中始终使用GADT语法,因为它更加清晰。

文档确认了这一点:

请注意,GADT样式的语法概括了存在性类型。

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

RankN`forall'的类型和范围

解开现有量化的GADT

如何使用GADT进行现有量化?

用`Proxy s`绑定类型与用forall绑定类型

haskell如何确定隐式forall中类型变量的顺序?

如何理解类型a和forall r。(a-> r)-> r是同构的

为什么对n级类型需要显式的forall量词?

在minizinc中将forall()谓词用作没有'constraint'的赋值语句

使用嵌套的“ forall”循环是否有任何利弊?

Haskell / GHC中的“ forall”关键字有什么作用?

为什么“ forall”在数据定义中必须具有多态类型?

如何报告scalacheck.Prop.forAll属性测试的所有测试用例输入?

在帶有數組集的 minizinc 中使用 forall(不連續)

即使MSDN另有建议,为什么Parallel.ForEach比AsParallel()。ForAll()快得多?

尝试使用forall循环求和矩阵中的所有元素时遇到错误

RankNTypes中forall的目的

字典ForAll / ForEach方法

将getOrElse与forall混合

Coq:消除“forall”?

coq:消除forall量词

是AsParallel()。ForAll可靠的

Haskell的“ forall”和“ =>”之间的关系

Z3 Forall阵列

PLSQL-FORALL立即执行

现有量化类型无法在类型类上下文中推断

有沒有辦法使用作為數組的元組元素作為“forall”循環的“sum”內的集合?

编写一个带有两个参数的 forAll 过程:系列的开始值和结束值,并将给定的过程应用于该系列

如何扩展ghc-typelits-natnormalise来检查通用和现有量化类型之间的关系?

在不锈钢中使用 forall 构造