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，它的內容是如何選擇的？
相關標簽