7
A
回答
10
GADTs首先在ghc-6.4,这是三月发布支持2005
他们仍然是一个语言的扩展,最新的标准,Haskell2010,没有采取他们(因为它是一个GHC只延伸,据我所知)。
相关问题
- 1. GADT可以用来证明GHC中的类型不等式吗?
- 2. 如何获得GHC在上下文中使用Typeable为GADT生成Data.Typeable实例?
- 3. 键入铸造GADT
- 4. 如何在Appveyor中安装GHC并将GHC放入路径?
- 5. 在Haskell中枚举GADT
- 6. 如何在Hugs中使用GADT
- 7. ghc如何在
- 8. GADT定义
- 9. GADT和平等
- 10. ocaml GADT:为什么“键入a”。需要?
- 11. 如何恢复GADT中的共享?
- 12. 如何用GADT进行存在量化?
- 13. 封装GADT模式
- 14. 在Haskell(GHC)中如何实现列表?
- 15. 导入Control.Exception引发的GHC编译错误
- 16. 在GHC中加速编译
- 17. 在GHC中指定拱?
- 18. GHC Haskell编译时常量
- 19. GHC 7.4更新时间haskell98?
- 20. 如何在Haskell中为GADT派生数据实例?
- 21. 使用GHC加载.hs文件时出错使用GHC
- 22. 为什么此GADT上的模式匹配似乎会在类型检查器中引入歧义?
- 23. 了解何时使用类型类或GADT?
- 24. 如何将字符串解析为GADT
- 25. 不能在GHC 6.12.3
- 26. Data.Aeson与ForeignFunctionInterface在GHC
- 27. 从ADT中恢复GADT时出现的类型问题
- 28. 真实世界中使用GADT
- 29. 在GADT上使用翻译解释器
- 30. 在GHC的RTS统计信息中CPU时间如何低于挂钟时间?
如果你对GADT的历史感兴趣,你可以看看这篇论文[傻傻家族](http://web.cecs.pdx.edu/~sheard/papers/silly.pdf)。 – augustss 2013-03-14 16:38:07