7
Kiedy wprowadzono GADT w GHC? (wersja + data)Kiedy wprowadzono GADT w GHC?
Czy nadal są uważane za przedłużenie języka lub czy są one obecnie częścią normy Haskell?
A
Odpowiedz
10
GADTs najpierw obsługiwane ghc-6.4, który został wydany w marcu 2005.
Są jeszcze rozszerzenie języka, najnowszy standard, Haskell2010, ich nie przyjęła (ponieważ była to tylko przedłużenie GHC, AFAIK).
Jeśli interesuje Cię historia GADT, możesz zajrzeć do tego artykułu [Silly Type Families] (http://web.cecs.pdx.edu/~sheard/papers/silly.pdf). – augustss