haskell - Haskell 数据类型中的类型类

Question

在 Haskell 中，可以像这样定义一种数据类型:

data Point1 = Point1 {
    x :: Integer
  , y :: Integer
}

可以对数据类型内部的变量使用类型类吗？如果是这样怎么办？我意识到可以将其作为代数数据类型来实现，每种点都有不同的定义，但我想知道是否有一种方法可以以更紧凑和灵活的方式实现这一点。

例如类似于此伪代码，它使用函数声明语法:

data Point2 = Point2 {
    x :: (Num a, Ord a) => a
  , y :: (Num a, Ord a) => a
}

我们的目标是允许在存储中存储Int、Integer、Float或Double值数据类型。理想情况下，我想限制它，使 x 和 y 必须属于同一类型。

Answer 1

您需要决定是否想要对该类型进行存在量化或通用量化。通用量化，阿拉:

data (Num a, Ord a) => Point2 a = Point2 a a

产生一个证明义务，证明类型“a”存在 Num 和 Ord 实例，但实际上并没有多大帮助，因为它所做的只是在您通过构造值来使用 Point 类时给您一个义务该类型或当您进行模式匹配时。

在几乎所有情况下，你最好定义一下

data Point2 a = Point2 a a deriving (Eq,Ord,Show,Read)

并使您的每个实例都取决于您想要的额外信息。

instance Num a => Num (Point2 a) where
    ...

instance (Num a, Ord a) => SomeClass (Point2 a) where
    ...

这使您可以传递和构建更少的多余字典，并增加可以使用 Point2 数据类型的场景数量。

另一方面，存在量化可以让你说你根本不关心类型是什么(更接近你实际请求的类型)，但代价是你不能在它上面使用任何东西，除了由您指定的约束提供的操作 - 在这里非常不适合。