了解一下Haskell的讨论newtype.
它的签名是如何Pair b a意味着传入的参数必须是一个元组？
ghci> newtype Pair b a = Pair { getPair :: (a, b) }
ghci> let p = Pair (5, 10)
我很困惑如何b a表示一个元组.
传入元组的原因不在于类型,而是在其构造函数中:
Pair { getPair :: (a, b) }
这是使用记录语法来定义一个Pair带有单个字段的构造函数,该字段getPair包含一个元组.通过将其分为两部分,您可以获得非常相似的效果:
newtype Pair b a = Pair (a, b)
getPair (Pair (x, y)) = (x, y)
所以b a 不会强迫它成为一个元组; 这就是它的{ getPair :: (a, b) }作用.
之所以产生混淆,是因为您将数据类型名称和构造函数名称都指定为Pair.相反,你可以等同地写
newtype Pair b a = MkPair { getPair :: (a, b) }
然后你用它构建它
> let p = MkPair ("test", 10) :: Pair Int String
构造函数和类型名称不共享名称空间,因此它们可以具有相同的名称而不会发生冲突.此模式通常用于newtypes,因为类型名称通常也是构造函数的良好描述性名称.这也适用于使用data关键字声明的类型.