GADT何时在GHC中引入？
[英]When were GADTs introduced in GHC?
问题描述
GADT何时在GHC中引入？ （版本+日期）
此外，它们仍然被认为是语言扩展还是它们现在是Haskell标准的一部分？
1 个解决方案
解决方案1
10 已采纳 2013-03-14 14:51:13
GADT首先得到了ghc-6.4的支持，该版本于2005年3月发布。
它们仍然是语言扩展，最新标准Haskell2010尚未采用它们（因为它仅是GHC扩展，afaik）。
如何让GHC为上下文中具有Typeable的GADT生成Data.Typeable实例？
[英]How can I get GHC to generate instances of Data.Typeable for GADTs with Typeable in the context?
GHC 7.7中引入的自由覆盖条件打破了GHC 7.6中有效的代码
[英]Liberal coverage condition introduced in GHC 7.7 breaks code valid in GHC 7.6
什么时候GHC Haskell2010首次包含在Haskell平台中，什么时候隐藏了Haskell98样式模块？
[英]When was the GHC Haskell2010 first included in the Haskell Platform, and when were the Haskell98 style modules hidden?
实现“mixins”时GADT，TypeFamilies类型推断失败
[英]GADTs, TypeFamilies type inference failure when implementing “mixins”
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
相关问题
GHC不能用GADT和存在类型推导出（a1~a）
GADT可以用来证明GHC中的类型不等式吗？
GHC无法推断存在GADT和类型家族的类型
如何让GHC为上下文中具有Typeable的GADT生成Data.Typeable实例？
Fundeps和GADT：什么时候类型检查可判定？
GHC 7.7中引入的自由覆盖条件打破了GHC 7.6中有效的代码
什么时候GHC Haskell2010首次包含在Haskell平台中，什么时候隐藏了Haskell98样式模块？
实现“mixins”时GADT，TypeFamilies类型推断失败
如何删除Stack安装的GHC副本？
什么是GHC.Exts，它的内容是如何选择的？
相关标签