7
A
回答
10
GADTs首先在ghc-6.4,這是三月發佈支持2005
他們仍然是一個語言的擴展,最新的標準,Haskell2010,沒有采取他們(因爲它是一個GHC只延伸,據我所知)。
相關問題
- 1. 如何獲得GHC在上下文中使用Typeable爲GADT生成Data.Typeable實例?
- 2. 如何在Appveyor中安裝GHC並將GHC放入路徑?
- 3. 在Haskell中枚舉GADT
- 4. GADT和平等
- 5. 如何用GADT進行存在量化?
- 6. 在Haskell(GHC)中如何實現列表?
- 7. 導入Control.Exception引發的GHC編譯錯誤
- 8. 在GHC中指定拱?
- 9. 在GHC中加速編譯
- 10. GHC 7.4更新時間haskell98?
- 11. 使用GHC加載.hs文件時出錯使用GHC
- 12. 瞭解何時使用類型類或GADT?
- 13. Data.Aeson與ForeignFunctionInterface在GHC
- 14. 在GADT上使用翻譯解釋器
- 15. 真實世界中使用GADT
- 16. 在GHC的RTS統計信息中CPU時間如何低於掛鐘時間?
- 17. 爲什麼在GHC中沒有導入列表?
- 18. 與GHC
- 19. 如何將GHC安裝到Cygwin中或將Cygwin安裝到GHC中?
- 20. UDF何時引入SQL Server?
- 21. GHC在運行時如何表示'undefined :: Void`?
- 22. 如何升級堆棧GHC
- 23. 在GHC中鏈接單獨的項目
- 24. Haskell - 在GHC編譯問題
- 25. GHC中嵌套的UNPACK
- 26. GHC 7中的FFI存根
- 27. 執行ghc-modi`type`命令時出錯:
- 28. 劈裂GHC
- 29. Haskell,GHC,win32,cairo
- 30. GHC優化
如果你對GADT的歷史感興趣,你可以看看這篇論文[傻傻家族](http://web.cecs.pdx.edu/~sheard/papers/silly.pdf)。 – augustss 2013-03-14 16:38:07