Haskell 参数 - 比较运算符

Question

我想定义一个函数，其参数接受一个列表和一个运算符。这就是我目前拥有的。我正在尝试定义一个可以找到最小值或最大值的高阶函数。

largest :: (a -> a -> Bool) -> a
largest = findType (>)

findType :: (a -> a -> Bool) -> [a] -> a
findType op [] = error "empty list"
findType op [x] = x
findType op (x:xs) 
    | x op maxTail = x
    | otherwise = maxTail
    where maxTail = findType op xs

但是，它目前不起作用。

Answer 1

您可以编写接受任何 a -> a -> Bool 函数参数的函数，或者使用可比数据类型实现 Ord 的事实类。

这是一段代码，显示了检查列表是否已排序的两种方法

option1 :: (a->a->Bool) -> [a] -> Bool
option1 op (a:b:ls) = op a b && option1 op (b:ls)
option1 op _ = True

option2 :: (Ord a) => Ordering -> [a] -> Bool
option2 op (a:b:ls) = compare a b == op && option2 op (b:ls)
option2 op _ = True

main = do
   let ls = [1, 2, 3]
   print $ option1 (<) ls
   print $ option2 LT ls

请注意，第二种方法需要使用 Ordering 数据类型，它只有值 LT、EQ 和 GT(分别表示 <、= 和 >)。您可以通过传递可接受的 Ordering 值列表或其他一些数据结构来使其更灵活，但是，在大多数情况下，第一个选项更合适。