Haskell中编写updateMinimum函数的标准实现方法咨询

你观察得很到位——Maybe的Ord实例把Nothing定义为小于任何Just x，这让更新最大值的逻辑可以直接复用max函数，但更新最小值时，因为min Nothing (Just x)会返回Nothing（不符合我们“用新值替换空值”的需求），所以没法直接用lambda表达式搞定。

下面是几种标准的实现方式，各有优劣：

1. 显式模式匹配（最直观的标准写法） #

这是最直接易懂的方式，完全贴合你需求的逻辑：

updateMinimum :: Ord a => Maybe a -> Maybe a -> Maybe a
updateMinimum Nothing new = new
updateMinimum saved Nothing = saved
updateMinimum (Just s) (Just n) = Just (min s n)

这种写法清晰直白，Haskell社区里很多人会优先选择它，因为可读性拉满，不需要依赖额外的类型或函数。

2. 用maybe函数简化模式匹配 #

maybe是Maybe类型的标准折叠函数，可以帮我们避免显式的case或多分支模式匹配，让代码更紧凑：

updateMinimum :: Ord a => Maybe a -> Maybe a -> Maybe a
updateMinimum saved new = maybe new (\s -> maybe saved (Just . min s) new) saved

这里的逻辑是：

• 如果saved是Nothing，直接返回new
• 如果saved有值s，再检查new：
  • 如果new是Nothing，返回saved
  • 如果new有值n，返回Just (min s n)

3. 自定义Semigroup实例（更优雅的复用方式） #

如果你需要频繁做这种“合并最小值”的操作，可以给Maybe套一个新类型，自定义符合需求的Semigroup实例：

newtype MinMaybe a = MinMaybe { getMinMaybe :: Maybe a }

instance Ord a => Semigroup (MinMaybe a) where
  MinMaybe Nothing <> MinMaybe x = MinMaybe x
  MinMaybe x <> MinMaybe Nothing = MinMaybe x
  MinMaybe (Just a) <> MinMaybe (Just b) = MinMaybe (Just (min a b))

-- 然后updateMinimum就可以写成：
updateMinimum saved new = getMinMaybe $ MinMaybe saved <> MinMaybe new

这种方式把“合并最小值”的逻辑封装成了语义化的<>操作符，适合在需要多次合并的场景中使用。

关于你提到的两种方案 #

• 转换为查找0-f()的最大值：这个思路是可行的，利用了max (negate a) (negate b) = negate (min a b)的数学关系：

  updateMinimum saved new = fmap negate $ updateMaximum (fmap negate saved) (fmap negate new)
  

  缺点是只适用于支持negate的数值类型，通用性不如前面的方案。
• 自定义MyMaybe类型：调换构造器顺序确实能让min直接工作，但需要重新实现所有Maybe的标准函数（比如safeHead'），会增加额外的维护成本，除非你有其他必须自定义Maybe的理由，否则不推荐。

总的来说，显式模式匹配是最通用、最符合Haskell社区习惯的标准写法，而maybe函数或自定义Semigroup则适合在需要更紧凑代码或复用逻辑的场景中使用。

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