能否在OCaml中定义Pattern Synonyms以简化模式匹配？

OCaml可以通过**视图模式（View Patterns）**实现类似Haskell PatternSynonyms的模式匹配简化效果，同时也有其他辅助方式可以达到相近目的，以下是具体实现：

1. 定义对应的数据类型 #

先把Haskell中的Type类型翻译成OCaml版本：

type typ = App of string * typ list

2. 用视图模式模拟模式同义词 #

OCaml 4.08及以上版本支持视图模式（需开启view_patterns扩展），我们可以先定义辅助函数识别目标模式，再在匹配时用视图模式简化代码：

步骤1：定义模式识别函数 #

这些函数负责检测数据是否符合目标模式，并提取所需参数：

let is_arrow = function
  | App ("->", [t1; t2]) -> Some (t1, t2)
  | _ -> None

let is_int = function
  | App ("Int", []) -> Some ()
  | _ -> None

let is_maybe = function
  | App ("Maybe", [t]) -> Some t
  | _ -> None

步骤2：在模式匹配中使用视图模式 #

借助视图模式，我们可以像Haskell的模式同义词一样简化匹配逻辑：

(* 开启视图模式扩展 *)
[@@@extension view_patterns]

let rec collect_args = function
  | (is_arrow -> Some (t1, t2)) -> t1 :: collect_args t2
  | _ -> []

let is_int = function
  | (is_int -> Some ()) -> true
  | _ -> false

let is_int_endo = function
  | (is_arrow -> Some ((is_int -> Some ()), (is_int -> Some ()))) -> true
  | _ -> false

3. 其他可选方式 #

如果需要更接近Haskell编译时模式同义词的体验，也可以通过**GADT（广义代数数据类型）**重新定义数据类型，直接将常用模式作为构造函数：

type _ typ =
  | Arrow : 'a typ * 'b typ -> ('a -> 'b) typ
  | Int : int typ
  | Maybe : 'a typ -> 'a option typ
  | App : string * typ list -> dynamic typ
and dynamic = Dyn : 'a typ * 'a -> dynamic

这种方式更直接，但需要重新设计类型结构，适合项目初期规划时使用。

内容的提问来源于stack exchange，提问作者toku-sa-n