有没有办法将多个变体组合成一个？像这样的：
type pet = Cat | Dog;
type wild_animal = Deer | Lion;
type animal = pet | wild_animal;
这是一个语法错误，但我希望 animal 成为具有四个构造函数的变体：Cat | Dog | Deer | Lion。有没有办法做到这一点？
【问题讨论】：
标签： types ocaml variant reason
多态变体的创建完全符合您的想法。它们作为内存表示的效率较低，但您是否要将其编译为 JavaScript 并不重要：
type pet = [ | `Cat | `Dog];
type wild_animal = [ | `Deer | `Lion];
type animal = [ pet | wild_animal ];
【讨论】：
type t = Cat type w = Cat 在同一模块中完全有效。此外，无参数构造函数在运行时表示为简单的整数。
我希望animal变成一个有四个构造函数的变体：Cat |狗 |鹿 |狮子。有没有办法做到这一点？
你不能直接这样做。这意味着Cat 有pet 类型，但也有wild_animal 类型。使用通常只有一个类型的普通变体是不可能的。然而，正如另一个答案所描述的，这对于多态变体是可能的。
另一种更常见的解决方案（但这取决于您要实现的目标）是定义第二层变体：
type pet = Cat | Dog
type wild_animal = Deer | Lion
type animal = Pet of pet | Wild_animal of wild_animal
这样，Cat 的类型为 pet，但 Pet Cat 的类型为 animal。
【讨论】：
type animal = Pet(pet) | Wild_animal(wild_animal) in reason