什麼是Haskell中的一些抽象數據類型，它們與代數數據類型有什麼不同？

Question

Haskell中的抽象數據類型的一些示例以及它們與代數數據類型有什麼特別的區別？

Answer 1

抽象數據類型不會導出它們的實現，而是傾向於導出可用於構建和使用它們的函數。 containers包裝中有許多奇妙且經常使用的示例; Map類型立即引發注意，它是一種非常豐富的API類型，但您不能看到實現細節。 Set,Seq和專門的IntMap和IntSet類型都是抽象的。

所有的Haskell類型都是代數的 - 這僅僅意味着它們都是由和，產品，函數類型和遞歸構成的。