Idris能否合并对称函数分支？兼询Haskell/OCaml相关实现

首先看你写的Idris代码，其中maxMaybe Nothing Nothing = Nothing这个分支是冗余的——第一个分支maxMaybe Nothing y = y已经覆盖了这种情况（当y为Nothing时，直接返回y也就是Nothing），可以先删掉。

关于合并前两个对称分支：Idris的模式匹配本身没法直接写出一个同时匹配“第一个参数是Nothing 或 第二个参数是Nothing”的单一模式，但可以通过guard条件判断来合并成一个分支：

maxMaybe : Ord a => Maybe a -> Maybe a -> Maybe a
maxMaybe x y 
  | isNothing x = y
  | isNothing y = x
  | otherwise = case (x, y) of
      (Just x', Just y') => Just (max x' y')

不过要注意，这种写法和原来的分支逻辑完全一致，只是形式上合并了，可读性未必比原来的两个模式分支更好——原写法的模式匹配更直观，反而更容易理解。

Haskell中的处理方式 #

在Haskell里，你可以用guard或者模式匹配的as-pattern来处理，也可以借助代数抽象简化：

方式1：Guard合并分支 #

maxMaybe :: Ord a => Maybe a -> Maybe a -> Maybe a
maxMaybe x y
  | Nothing <- x = y
  | Nothing <- y = x
  | Just x' <- x, Just y' <- y = Just (max x' y')

方式2：利用Semigroup抽象 #

Haskell里可以给Maybe a（当a是Ord实例时）定义Semigroup实例，把“取最大值”作为合并逻辑：

instance Ord a => Semigroup (Maybe a) where
  Nothing <> y = y
  x <> Nothing = x
  Just x' <> Just y' = Just (max x' y')

-- 直接用(<>)运算符实现maxMaybe
maxMaybe :: Ord a => Maybe a -> Maybe a -> Maybe a
maxMaybe = (<>)

这种方式是函数式编程里的通用套路——通过代数结构抽象重复逻辑，不仅代码简洁，还能复用Semigroup的其他特性（比如结合律）。

OCaml中的处理方式 #

OCaml没有Haskell/Idris那样的guard语法，但可以通过if条件判断或者Option模块的函数来处理：

方式1：保留模式匹配分支（推荐） #

OCaml的模式匹配是顺序匹配的，第一个分支None, _已经覆盖了None, None的情况，写法本身很简洁：

module type Ord = sig
  type t
  val compare : t -> t -> int
end

let maxMaybe (type a) (module Ord : Ord with type t = a) : a option -> a option -> a option =
  fun x y ->
    match x, y with
    | None, _ -> y
    | _, None -> x
    | Some x', Some y' -> Some (if Ord.compare x' y' >= 0 then x' else y')

方式2：条件判断合并分支 #

如果一定要合并成类似“单一判断”的形式，可以用Option模块的辅助函数：

let maxMaybe (type a) (module Ord : Ord with type t = a) x y =
  if Option.is_none x then y
  else if Option.is_none y then x
  else
    let open Option in
    Some (if Ord.compare (get x) (get y) >= 0 then get x else get y)

小结 #

其实对于这种“任一参数为Nothing则返回另一参数”的逻辑，直接写两个模式匹配分支是最直观的，强行合并反而可能降低代码可读性。如果追求更通用的抽象，函数式语言通常会借助Semigroup/Monoid这类代数结构，把这类二元合并逻辑抽象成通用运算符，这也是纯函数式编程中复用逻辑的常用手段。

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