Haskellの型とデータ型の違いは何ですか？

Question

私はHaskellの中種類とデータ型との差にと少し混乱しています。

私が遭遇した文献から、彼らは異なる概念であるという印象を受けました。

Answer 1

およびデータタイプはまったく同じ概念を指します。

Haskellのキーワードtypeとdataは、しかし、異なっている：typeはちょうど型シノニムを行いながらdataあなたは、新しい代数的データ型を導入することができます。

詳しくは、Haskell wikiを参照してください。

Answer 2

これらの用語は混在していることがありますが、通常、「データ型」はdataキーワードを使用して導入された型を指します。この型にはパターンマッチングできるコンストラクタがあります。これらはまた、代数的データ型と呼ばれている」。

ただ、 『タイプ』はそうでnewtype、関数型を使用して作成したもの種類を含む、より一般的な用語である。