是否可以使用模块动态创建多态变体类型？

Question

我正在尝试整理和重用我的 reasonML 代码。我的模型模块类型如下所示：

module Diet = {

  type schemaType = [`DietSchema];
  type idType = [`DietId(UUID.t)];

  let schema = `DietSchema;
  type idAsType('a) = [> | idType] as 'a;     
};

module Ingredient = {
  type schemaType = [`IngredientSchema];
  type idType = [`IngredientId(UUID.t)];

  let schema = `IngredientSchema;
  type idAsType('a) = [> | idType] as 'a;
};

module Restriction = {
  type schemaType = [`RestrictionSchema];
  type idType = [`RestrictionId(UUID.t)];

  let schema = `RestrictionSchema;
  type idAsType('a) = [> | idType] as 'a;
};

我想从idTypes 和schemaTypes 生成一个类型和函数。

例子是：

type modelIdType = [
  | Diet.idType
  | Restriction.idType
  | Ingredient.idType
];

type schemaType = [
  | Diet.schemaType
  | Restriction.schemaType
  | Ingredient.schemaType
];

let modelIdToIdFunction = (recordIdType): (schemaType, UUID.t) =>
  switch (recordIdType) {
  | `DietId(uuid) => (Diet.schema, uuid)
  | `RestrictionId(uuid) => (Restriction.schema, uuid)
  | `IngredientId(uuid) => (Ingredient.schema, uuid)
  };

所以我尝试使用函子来构造一个模块，将每个模式通过

module Diet : SchemaType = {
  /* ... */
};

module type SchemaType {
  type schemaType;
  type idType;

  let schema: [> schemaType];
  type idAsType('a) = [> | idType] as 'a;
};

module ProcessSchema = (
  Schema : SchemaType,
  PrevFullSchema : FullSchema
) : (FullSchema) => {
  type id = [> Schema.idType' | PrevFullSchema.id'('a)]  as 'a;
  /* type id = [PrevFullSchema.openId(PrevFullSchema.id) | Schema.idType]; */
  /* type schema = [PrevFullSchema.schema | Schema.schema]; */
  /* type openSchema = [PrevFullSchema.schema | Schema.schema]; */
};

上面的代码不起作用。我在将模块类型添加到顶部的模型模块时遇到问题。我还尝试通过SchemaType 模块类型，但一直点击The type idType is not a polymorphic variant type，当我希望每个模型具有不同的多态变量类型时。

总的来说，我想知道是否可以创建一个可以使用模块和仿函数创建或扩展的多态变体类型？

如果不是，是否可以使用“模块列表”构造多态变体类型？

谢谢

Answer 1

早在 2002 年就有人问过类似的问题。据一位 OCaml 语言开发人员称，不可能像这样动态扩展多态变体类型：https://caml-list.inria.narkive.com/VVwLM96e/module-types-and-polymorphic-variants。相关位：

函子定义被拒绝，因为 “类型 M.t 不是多态变体类型” 有解决办法吗？

我不知道。多态变体扩展仅适用于已知 封闭的变体类型，否则它不会是健全的。

这篇文章的其余部分有一个建议，归结为在不同标签内捕获新的变体类型，但同样不适用于您使用仿函数动态“添加”类型的用例。

Answer 2

对于这些类型，您可以使用可扩展的变体类型。但是对于给定模块列表的 modelIdToIdFunction 函数，我认为您只能通过列表进行搜索，这将无法扩展。

您应该使用每个模块的 ID 扩展 uuid，以便您可以创建一个从 module_id 到列表中的模块的查找表，以便快速访问。