能否在OCaml中枚举自定义联合类型的所有值？

OCaml标准库没有像F#那样内置的反射API来直接获取不相交联合类型的所有case，但可以通过元编程工具（ppx扩展）或第三方反射库实现类似需求，以下是具体方案：

1. 使用ppx扩展自动生成枚举函数 #

ppx是OCaml的元编程框架，ppx_deriving生态中的扩展可以自动生成联合类型的所有值列表，以ppx_deriving_enum为例：

操作示例： #

1. 安装依赖：

opam install ppx_deriving ppx_deriving_enum

2. 定义类型并派生枚举能力：

type yolo = A | B | C [@@deriving enum, show]

3. 通过生成的转换函数获取所有值：

let all_yolos =
  let min_val = yolo_to_int A in
  let max_val = yolo_to_int C in
  List.init (max_val - min_val + 1) (fun idx -> int_to_yolo (min_val + idx))

执行后all_yolos的值即为[A; B; C]。

如果需要更直接的extractor式函数，可以自定义ppx扩展，或使用支持直接生成全值列表的ppx工具（如部分社区衍生的ppx_deriving_all类库）。

2. 使用第三方反射库 #

部分第三方库提供了OCaml类型的反射能力，比如ocaml-reflection，这类库需要在编译时保留类型信息，使用时需开启对应编译选项，示例大致如下：

open Reflection

type yolo = A | B | C

let yolos = Type.enum_values (type_of yolo)

注：这类库的API可能随版本变动，使用前需查阅对应文档。

3. 手动实现（仅适用于已知类型） #

如果类型固定，可手动写出所有值的列表，但这不符合你“预先不知晓类型内容”的需求，仅作参考：

let extractor_yolo = [A; B; C]

对比F#的实现 #

F#的FSharpType.GetUnionCases是语言内置的反射API，而OCaml的反射能力并非原生内置，需要借助元编程工具或第三方库实现类似功能，这是两者类型系统设计上的差异。

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