OCaml 4.13中如何在模式匹配内检查变量类型？

首先，你写的代码里#show x是OCaml交互环境（REPL）的专属指令，只能在命令行敲的时候用，不能写到函数定义里，这就是语法错误的原因——程序代码里不支持这种顶层指令，自然没法复用它的输出。

OCaml是静态类型语言，默认编译后会擦除类型信息，所以要实现运行时的类型判断，必须手动给值带上类型标记，下面给两种可行方案：

方案一：用GADT封装带类型标签的值（推荐） #

这种方式安全且符合OCaml类型系统规范，通过自定义数据类型把值和类型标签绑定在一起：

(* 定义带类型标签的通用类型 *)
type 'a typed =
  | Int : int -> int typed
  | String : string -> string typed

(* 类型检查函数 *)
let typecheck : type a. a typed -> string = function
  | Int _ -> "int"
  | String _ -> "string"

使用示例：

typecheck (Int 42);; (* 返回 "int" *)
typecheck (String "hello");; (* 返回 "string" *)

方案二：用Obj模块直接读取底层类型标签（不推荐） #

这个方案依赖OCaml的底层运行时结构，绕过了类型系统，安全性低，不同版本可能存在兼容问题，但可以处理未封装的原始值：

open Obj

let typecheck x =
  let x_obj = repr x in
  match tag x_obj with
  | t when t = tag (repr 0) -> "int"
  | t when t = tag (repr "") -> "string"
  | _ -> "Undefined"

使用示例：

typecheck 100;; (* 返回 "int" *)
typecheck "test";; (* 返回 "string" *)
typecheck [1;2];; (* 返回 "Undefined" *)

总结：没法在程序里复用#show这类顶层指令的输出，必须通过显式携带类型信息或者底层操作来实现运行时类型检查。

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