类型构造函数可以与值构造函数相同吗？

Question

在Haskell教程中，我看到了这样的表达式

data Vector a = Vector a a a deriving (Show)

可能不一样，但是非常相似。 我有点困惑。 谁能解释它在做什么？

Answer 1

data Vector a = MkVector a a a 

定义参数化的数据类型， Vector a用于任何类型a 。

它还定义了一种创建该类型值的方法：通过使用具有三个相同类型参数的数据构造函数MkVector 。

对于任何类型a ，使用三个类型a的值调用MkVector产生类型为Vector a的值。 例如，

let a :: Int ; a = 1 ; v = MkVector a 3 4 in v :: Vector Int

let a :: Float ; a = 1 ; v = MkVector a 3 4 in v :: Vector Float

碰巧发生了，我们被允许使用与Vector类型相同的名称作为数据构造函数的名称。 起初这可能会造成混淆。

Answer 2

这定义了一个称为Vector的新数据类型。 让我们将其分解为几个不同的部分：

data Vector a     -- Type part
  = Vector a a a  -- Constructor part
  deriving (Show) -- Automatic derivation part

类型部分说：“以下内容将定义为类型为Vector a ，其中a是某些未知类型”：

data Vector a     -- Type part

构造器部分定义函数Vector :: a -> a -> a -> Vector a 。 请注意，类型和值具有不同的名称空间，因此可以具有相同的名称。

  = Vector a a a  -- Constructor part

自动派生部分告诉编译器自动为此类型实现函数show ，从而使我们可以忽略细节。 如果您还不了解类型类，则不必太担心这意味着什么，但是请记住，没有它，您将无法show或print这些值。

  deriving (Show) -- Automatic derivation part

我们可以在GHCi中使用以下值：

λ> data Vector a = Vector a a a deriving (Show)
λ> Vector 1 2 3
Vector 1 2 3
λ> :type Vector True False True
Vector True False True :: Vector Bool
λ> :type Vector "Hello," " World" "!"
Vector "Hello," " World" "!" :: Vector [Char]