Haskell中的類型和數據類型有什么區別？

Question

我對Haskell中的類型和數據類型之間的區別感到困惑。

從我遇到的文獻中我得到的印象是他們是不同的概念。

Answer 1

類型和數據類型指的是完全相同的概念。

但是，Haskell關鍵字type和data是不同的： data允許您引入新的代數數據類型，而type只是類型的同義詞。

有關詳細信息，請參閱Haskell wiki 。

Answer 2

這些術語有時是混合的，但通常“數據類型”是指使用data關鍵字引入的類型，該關鍵字具有可以模式匹配的構造函數。 這些也稱為代數數據類型“。

只是“類型”是一個更通用的術語，它還包括使用newtype ，函數類型等創建的類型。