Haskell中有哪些抽象数据类型？它们与代数数据类型有何不同？

Question

Haskell中的抽象数据类型有哪些示例？它们与代数数据类型有何具体区别？

Answer 1

Abstract data types do not export their implementation, instead preferring to export functions that can be used to build and consume them. There are many fantastic and oft-used examples in the containers package; the Map type sprung immediately to mind as a type with a very rich API but for which you are not permitted to see the implementation details. The Set , Seq , and specialized IntMap and IntSet types are all also abstract.

All Haskell types are algebraic -- this just means they are all constructed from sums, products, function types, and recursion.