如何扩展Haskell的getMax函数以支持Lambda函数作为比较参数？

首先，你当前的错误源于需求逻辑与代码实现的不匹配，以及对函数类型的误解：

错误原因解析 #

你原本的getMax函数是接收一个初始值和列表，返回初始值与列表元素中的最大值。但当你传入Lambda函数时，Haskell会将类型变量a推断为函数类型（比如Integer -> Integer），此时：

1. foldr max f xs会尝试用max比较函数与列表中的整数，这本身就违反了类型一致性；
2. 最终返回值的类型是函数类型，而Haskell的函数类型没有Show实例（无法直接打印函数），因此抛出No instance for (Show (Integer -> Integer))错误。

你的真实需求是：传入一个评分函数，根据列表元素的评分结果，返回评分最高的原元素（比如mod x 5的评分下，4的评分是4，是最高的，所以返回4），这和原函数的逻辑完全不同，需要重新设计函数。

解决方案 #

方案1：使用标准库函数（推荐） #

Haskell标准库Data.Ord中的maximumBy函数可以接受自定义的比较逻辑，结合comparing函数可以快速实现你的需求：

import Data.Ord (comparing)

getMax :: (Ord b) => (a -> b) -> [a] -> a
getMax f = maximumBy (comparing f)

• comparing f会将两个元素x和y的比较转化为f x和f y的比较；
• maximumBy会根据这个比较逻辑，返回列表中“最大”的元素。

测试你的例子：

getMax (\x -> mod x 5) [1,4,7] -- 输出 4

方案2：手动用foldr实现 #

如果你想手动实现核心逻辑，可以用foldr遍历列表，维护当前评分最高的元素：

getMax :: (Ord b) => (a -> b) -> [a] -> a
getMax f [] = error "空列表无法获取最大值" -- 处理空列表情况
getMax f (x:xs) = foldr (\curr acc -> if f curr > f acc then curr else acc) x xs

• 以列表第一个元素作为初始的“当前最大值”；
• 遍历后续元素，若当前元素的评分高于“当前最大值”的评分，则更新最大值。

额外说明 #

• 若需要支持空列表的安全处理，可以将返回值改为Maybe a类型：

  import Data.Ord (comparing)
  import Data.List (maximumBy)
  
  getMax :: (Ord b) => (a -> b) -> [a] -> Maybe a
  getMax _ [] = Nothing
  getMax f xs = Just $ maximumBy (comparing f) xs
  

  此时空列表会返回Nothing，非空列表返回Just 元素，避免运行时错误。

内容的提问来源于stack exchange，提问作者iTzTomy