7
Khi nào GADT được giới thiệu trong GHC? (phiên bản + ngày)Khi nào GADT được giới thiệu trong GHC?
Ngoài ra, chúng có còn được coi là tiện ích mở rộng ngôn ngữ hay bây giờ chúng là một phần của tiêu chuẩn Haskell đúng không?
Nếu bạn quan tâm đến lịch sử của GADT, bạn có thể muốn xem bài báo này, [Silly Type Families] (http://web.cecs.pdx.edu/~sheard/papers/silly.pdf). – augustss