Haskell 无Ord无辅助函数递归实现列表长度、和、最大值求解

核心结论 #

无法完全脱离Ord类型类实现最大值计算。最大值的判定逻辑本质依赖元素的大小比较操作，而Haskell中所有大小比较运算符（>、<、>=等）都是Ord类型类定义的类方法，只要涉及元素比较就绕不开Ord的约束，不管是用内置maximum还是手动递归实现都是如此。

可行实现方案 #

方案1：显式添加Ord约束+单次递归实现（推荐） #

原实现调用length、sum、maximum会对列表做三次遍历，用单次递归可以一次性计算三个值，性能更优，仅需要在类型签名中补全Ord约束即可：

lengthSumMax :: (Num a, Ord a) => [a] -> (Int, a, a)
lengthSumMax [] = (0, 0, 0)
lengthSumMax (x:xs) = 
  let (nextLen, nextSum, nextMax) = lengthSumMax xs
  in (nextLen + 1, nextSum + x, if x > nextMax then x else nextMax)

方案2：固定为整数类型隐藏约束 #

如果你的输入固定为整数列表，不需要多态支持，可以直接把类型签名写死为具体数值类型（比如Int），不需要显式声明Ord约束，也没有额外辅助函数，所有逻辑都在同一个函数内完成：

-- Int类型默认实现了Ord，编译器会自动推导约束，不需要显式声明
lengthSumMax :: [Int] -> (Int, Int, Int)
lengthSumMax [] = (0, 0, 0)
lengthSumMax (x:xs) = 
  let (nextLen, nextSum, nextMax) = lengthSumMax xs
  in (nextLen + 1, nextSum + x, if x > nextMax then x else nextMax)

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