ocaml - 模块依赖循环

Question

我有:

模块 1:

• 提供类型Module1.type1，它的构造函数，以及一些接受和返回type1的函数

模块 2:

• 打开 Module1
• 打开模块 3
• 提供类型Module2.type2，也有接受type1和type3作为参数的函数

模块 3:

• 打开 Module1
• 打开模块 2
• 提供类型Module3.type3，以及它依赖于type1的构造器
• 提供接受和返回类型 type1、type2 和 type3 的函数

问题

结果我显然得到 dependency cycle: src/Module3.cmj -> src/Module2.cmj -> src/Module3.cmj 编译器错误。在 TypeScript/JS 中通过单独导入可以轻松实现的东西，在 Reason 中是不可能的。如何解决这个问题？

我真的不想改变我的程序的架构，只是为了弥补编译器/模块系统的缺点。

Answer 1

处理问题的最简单方法确实是递归模块。我不建议您使用它们，因为递归模块会使您的代码更难阅读、编译，并且在最复杂的情​​况下会在运行时破坏您的代码。更不用说您是否在模块定义中使用了副作用(请不要)。

我将使用 OCaml 语法，您应该能够轻松地将其转换为 Reason。

如果您无论如何都想这样做，这里是使用递归模块和仿函数的快速而肮脏的解决方案。

快速而肮脏的解决方案

1) 创建一个模块 myModTypes，它将指示模块 2 和模块 3 的预期类型。它应该看起来像:

module type Module2type = sig ... end
module type Module3type = sig ... end

... 是您模块的预期签名(如果您已经编写了接口(interface)文件，只需将它们复制/粘贴到此处，如果您不编写这些文件，它们很重要)

2) 将 module2 和 module3 放在期望另一个模块的仿函数中

例如，module2 的代码现在应该是这样的

module MakeModule2(Module3 : MyModTypes.Module3type) = struct
(* the code of module2 *)
end

module3 的代码也是一样的，只是在添加的行中交换 2 和 3。

3) 使用该代码创建一个模块 makemodules2and3(翻译成 Reason):

module rec Module2 : MyModTypes.Module2type = Module2.MakeModule2(Module3)
and Module3 : MyModTypes.Module3type = Module3.MakeModule3(Module2)

请注意，递归模块定义总是需要一个模块类型。

4) Module2 和 Module3 的后续使用现在应该在能够使用它们之前打开 Makemodules2and3。

正确的解决方案

您必须更改程序的架构。略。

正如 OP 所说，函数中没有依赖循环，这是一种解脱。只需将 module2 和 module3 分别拆分为两个新模块即可。一个具有仅依赖于 module1 和它们自己的模块的功能，一个具有“下一步”功能。

这是处理如何声明模块的更好方法:它们应该与它们定义的类型相同。理想情况下，每种类型都有一个模块，并且类型之间的每次交互都有一个额外的模块。