标签： haskell abstract-data-type algebraic-data-types gadt
似乎术语＆＃34;广义摘要数据类型＆＃34;和＆＃34;广义代数数据类型＆＃34;可以互换使用，但我确信从技术上来说它们不是一回事。
有人可以解释这个区别，或许在Haskell的上下文中使用一个简单的例子吗？
答案 0 :(得分：12)
没有名为广义抽象数据类型的独立概念。短语＆＃34;广义抽象数据类型＆＃34;有时会错误地用于广义代数数据类型。这个错误的产生是因为代数数据类型＆＃34;和＃34;抽象数据类型＆＃34;缩写为＆＃34; ADT＆＃34;。