ハスケルの抽象データ型とは何ですか？それらは代数データ型とどう違うのですか？

Question

ハスケルの抽象データ型の例と、それを具体的に代数データ型と区別するものは何ですか？

Answer 1

要約データ型は、その実装をエクスポートするのではなく、それらを構築および使用するために使用できる関数をエクスポートする方が好きです。 containersパッケージには、多くの素晴らしい例があります。 Mapタイプは、すぐに非常に豊富なAPIを持つタイプとして心に浮かびますが、実装の詳細を見ることはできません。 Set、Seq、および特化IntMapおよびIntSetタイプもすべて抽象です。

すべてのHaskell型は代数式です。これは、すべてが合計、積、関数型、および再帰から構成されていることを意味します。