在`newtype`参数中指定元组

Question

Learn You a Haskell讨论了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) }

这是使用record syntax定义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

---

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