OCaml中如何对函数进行模式匹配？求正确语法实现

OCaml中无法直接通过模式匹配判断一个值是否为函数——因为函数不属于代数数据类型的构造子，模式匹配仅支持对代数类型（如变体、记录）的构造子进行匹配。你需要先定义一个统一的类型来封装"函数"和"普通值"两种情况，再进行模式匹配。

方式1：定义显式变体类型 #

先声明一个变体类型，明确区分函数和普通值：

type 'a wrapped =
  | Fun of ('a -> 'a)  (* 封装函数 *)
  | Value of 'a        (* 封装普通值 *)

然后实现目标函数：

let foo x y =
  match x with
  | Fun f -> f y  (* 如果是封装的函数，调用它并传入y *)
  | Value _ -> y  (* 如果是普通值，直接返回y *)

调用示例：

foo (Fun (fun z -> z * 3)) 4;;  (* 输出：12，调用函数3*4 *)
foo (Value "test") 4;;          (* 输出：4，直接返回y *)

方式2：使用多态变体（更灵活） #

如果不想提前定义固定类型，可使用多态变体简化代码：

let foo x y =
  match x with
  | `Fun f -> f y
  | `Value _ -> y

调用示例：

foo (`Fun (fun s -> String.uppercase_ascii s)) "hello";;  (* 输出："HELLO" *)
foo (`Value 100) "hello";;                                (* 输出："hello" *)

关键说明 #

原代码中的Fun是无效的，因为OCaml没有内置这个构造子。必须通过自定义代数类型，把函数和普通值归为同一类型下的不同构造子，才能用模式匹配区分处理。

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