在‘`newtype`’参数中指定元组

Question

给你一个哈斯克尔讨论newtype。

它的Pair b a签名意味着传入参数必须是元组吗？

ghci> newtype Pair b a = Pair { getPair :: (a, b) }
ghci> let p = Pair (5, 10)

我很困惑b a是如何表示元组的。

Answer 1

传入元组的原因不是类型，而是它的构造函数：

Pair { getPair :: (a, b) }

这是使用记录语法定义一个Pair构造函数，其中有一个名为getPair的字段，其中包含一个元组。通过将其分为两部分，可以得到非常相似的效果：

newtype Pair b a = Pair (a, b)

getPair (Pair (x, y)) = (x, y)

因此，b a并不强制它是一个元组；这就是{ getPair :: (a, b) }所做的。

Answer 2

造成混淆的原因是数据类型名称和构造函数名称都指定为Pair。相反，您可以等效地编写

newtype Pair b a = MkPair { getPair :: (a, b) }

然后你就用

> let p = MkPair ("test", 10) :: Pair Int String

构造函数和类型名称不共享名称空间，因此它们可以具有相同的名称，而不会发生冲突。这种模式通常用于新类型，因为类型名称通常也是构造函数的一个很好的描述性名称。这也适用于使用data关键字声明的类型。