我有:
第1单元:
Module1.type1,它的构造函数,以及一些接受和返回的函数type1第2单元:
open Module1 open Module3 Module2.type2,也有接受type1和type3作为参数的功能第3单元:
open Module1open Module2Module3.type3,以及依赖于它的构造函数type1type1,type2以及type3题
结果我显然得到dependency cycle: src/Module3.cmj -> src/Module2.cmj -> src/Module3.cmj了编译器的错误.在单独导入的TypeScript/JS中可以轻易实现的东西在Reason中是不可能的.怎么解决这个问题？
我真的不想改变我的程序的架构,只是为了方便编译器/模块系统的缺点.
处理问题的最简单方法是递归模块.我不建议您使用它们,因为递归模块可以使您的代码更难以阅读,编译,并且在最复杂的情况下可以在运行时破坏您的代码.更不用说你是否在模块定义中使用副作用(请不要).
我将使用OCaml语法,您应该能够轻松地转换为Reason.
无论如何你想要使用它,这里是使用递归模块和仿函数的快速而肮脏的解决方案.
1)创建一个模块myModTypes,它将指示module2和module3的预期类型.它应该看起来像:
module type Module2type = sig ... end
module type Module3type = sig ... end
同...是你的模块的预期签名(如果你已经编写接口文件,只需复制/他们贴在这里,如果你不写这些,他们是重要的)
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现在应该open Makemodules2and3能够使用它们.
您必须更改程序的体系结构.略.
正如OP所说,功能中没有依赖循环,这是一种解脱.只需将module2和module3分成两个新模块.一个具有仅依赖于module1和它们自己的模块的功能,一个具有"下一步"功能.
这是了解如何声明模块的更好方法:它们应该是一个具有它们定义的类型的模块.理想情况下,每个类型都有一个模块,每个类型之间的每个交互都有一个附加模块.