ocaml - 如何获取变体类型的所有变体列表

Question

在 OCaml 中，有没有办法获取一个变体类型的所有变体的列表？例如，在下面的代码中，我必须手动创建一个包含所有变体的列表，这很繁琐。它也很容易出错，因为我可能会不小心省略其中一个变体，或者不止一次地包含其中的一些变体。有没有一种方法可以使创建所有变体列表的过程自动化？

type letter =
  | A | B | C | D | E | F
  | G | H | I | J | K | L
  | M | N | O | P | Q | R
  | S | T | U | V | W | X
  | Y | Z

(* Manually written list of all variants *)
let letters = [
  A; B; C; D; E; F;
  G; H; I; J; K; L;
  M; N; O; P; Q; R;
  S; T; U; V; W; X;
  Y; Z;
]

Answer 1

ppx_enumerate能够生成有限类型的所有值的列表。要使用其 README 中的更完整示例:

type t =
  | Foo
  | Bar of bool
  | Baz of [`A | `B of unit option]
  [@@deriving enumerate]

会产生一个值val all : t list，其值等于

[ Foo; Bar true; Bar false; Baz `A; Baz (`B None); Baz (`B Some ()) ]