什么是Haskell中的一些抽象数据类型，它们与代数数据类型有什么不同？

Question

Haskell中的抽象数据类型的一些示例以及它们与代数数据类型有什么特别的区别？

Answer 1

抽象数据类型不会导出它们的实现，而是倾向于导出可用于构建和使用它们的函数。 containers包装中有许多奇妙且经常使用的示例; Map类型立即引发注意，它是一种非常丰富的API类型，但您不能看到实现细节。 Set,Seq和专门的IntMap和IntSet类型都是抽象的。

所有的Haskell类型都是代数的 - 这仅仅意味着它们都是由和，产品，函数类型和递归构成的。