Haskell 循环顺序关系

Question

我试图定义石头剪刀布的数据类型，并想出了这样的东西:

data Hand = P | S | R deriving (Show, Eq)

instance Ord Hand where
  compare R P = LT
  compare P R = GT
  compare R S = GT
  compare S R = LT
  compare P S = LT
  compare S P = GT
  compare _ _ = EQ

在编写所有内容时，我想知道是否有任何方法可以定义数据类型以使其派生 Ord，然后指定该数据类型比较 R P = LT 和 比较 P R = GT 而不必手动编写所有比较，对于三个元素来说还可以，但每个添加的元素都会变得乏味。

Answer 1

您在这里描述的不是顺序关系。顺序关系为:

1. 自反，所有值x都小于或等于它本身；
2. 反对称:如果x小于或等于y并且y小于或等于x >，那么x等于y；
3. 传递:如果x小于或等于y，并且y小于或等于到 z，则 x 小于或等于 z。

您的定义不传递。确实:S 小于 R，R 小于 P，但是 S > 不小于P。因此，我强烈建议您不要使用Ord，因为例如排序等都会利用这些不变量。

您可以做的就是让它自动从 Ord 派生:

data Hand = P | S | R deriving (Show, Eq<b>, Ord</b>)

然后定义一个函数beats:

beats :: Hand -> Hand -> Ordering
beats R P = LT
beats P R = GT
beats x y = compare x y