如何为OCaml中的变体（variant）字段进行合理命名？

OCaml 变体多字段命名的官方推荐方案 #

1. 写法惯用性确认 #

OCaml 官方编程风格指南明确规定：当变体构造子的参数超过2个、或参数语义无法通过上下文直接判断时，禁止使用匿名元组承载参数，需优先使用带命名的记录类型，避免依赖注释标注字段含义。
你提到的两种写法均属于社区认可的标准写法，其中元组参数仅适用于| IntTy of int、| PairTy of ty * ty这类字段极少、语义完全明确的场景。

2. 性能问题解答 #

你担心的间接层开销有完全的规避方案，且即使不规避也几乎不会影响实际业务：

• 如果你使用OCaml 4.03及以上版本，可以直接使用内联记录语法，不需要额外定义独立的记录类型，也完全没有间接层开销，性能和元组参数完全一致：

type ty =
  | FunTy of {
      forall : ty list;
      p_tys : ty list;
      ret_ty : ty
    }
  (* 其他构造子 *)

内联记录的字段直接存储在变体构造子的内存块中，不需要额外的堆分配和指针解引用，模式匹配、字段读取的效率和元组参数完全相同。

• 如果你需要兼容更早的OCaml版本，使用独立记录类型的额外开销也仅为一次指针解引用，在绝大多数场景下都可以忽略。包括OCaml官方编译器的AST定义、Merlin、Reason工具链在内的大量性能敏感的成熟项目，都广泛使用这种写法。

3. 可维护性收益远高于潜在性能损耗 #

使用带命名字段的记录可以彻底避免后续维护时搞错元组字段顺序的低级错误，添加、删除、调整字段时的改造成本也远低于匿名元组，在工程实践中的收益远大于几乎可忽略的性能损耗。

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