2013-03-14 11 views
7

GHC'de GADT'ler ne zaman piyasaya sürüldü? (sürüm + tarih)GHC'de GADT'ler ne zaman piyasaya sürüldü?

Ayrıca, hala bir dil uzantısı olarak mı yoksa şu anda Haskell standardının bir parçası mı?

+0

GADT'lerin geçmişi ile ilgileniyorsanız, bu makaleye bakmak isteyebilirsiniz, [Silly Type Families] (http://web.cecs.pdx.edu/~sheard/papers/silly.pdf). – augustss

cevap

10

GADTs ilk Mart ayında serbest bırakıldı ghc-6.4, desteklenen edildi 2005. bu bir GHC yalnızca uzantısı beri

Hala bir dil uzatma, son standart, Haskell2010 vardır, (onları kabul etmemiştir afaik).