比较元组与元组列表

Question

我必须将元组与元组列表进行比较，如果整数小于列表中的任何元组，则返回True。例如，如果我有super（“番茄”，10,5）[（“土豆”，5,6），（“橙色”，11,6）]将返回True，因为单独元组（“番茄”，10,5）中的整数比列表中的元组（“橙色”，11,6）小，但是如果我有super（“甜瓜”，10,6）[（“土豆”，5,6），（“橙色”，11,6）]将返回False。

我试试这个

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM (s,a,b) ((_,c,d):xs)
  | a < c && b < d = True
  |otherwise =  superM (s,a,b) xs  

但不工作时，它应该返回假，我不知道为什么？

注意：字符串对于这个问题并不重要，我必须忽略它。

Answer 1

您没有为空列表定义basecase。因此，如果没有匹配的元素，列表最终将被耗尽，然后空列表将不匹配。因此，您可以为空列表添加规则：

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM _ [] = False
superM (s,a,b) ((_,c,d):xs)
  | a < c && b < d = True
  |otherwise =  superM (s,a,b) xs

我们可以使用逻辑or来摆脱警卫：

superM :: (String, Int, Int) -> [(String, Int, Int)] -> Bool
superM _ [] = False
superM (s,a,b) ((_,c,d):xs) = a < c && b < d || superM (s,a,b) xs

但是我们也可以使用any:：Foldable f=

superM :: (Foldable f, Ord x, Ord y) => (a, x, y) -> f (b, x, y) -> Bool
superM (_, a, b) = any p
    where p (_, c, d) = a < c && b < d