OCaml交联

Question

参考链接如何在OCaml中工作？

例如，假设我有3个模块声明为

• A.ml
• B.ml
• C.ml

其中

• A需要B和C
• B需要A

我该如何进行编译？

由于订单是使用ocamlc或ocamlopt相关的，我如何修复B和A之间的交叉引用？

我试图首先使用ocamlc -c它们全部编译成.cmo ，然后将它们全部链接在一起，但没有成功，因为交换参数只会将问题从模块转移到另一个模块。

具体错误是：

错误：链接A.cmo时出错：引用未定义的全局`B'

（或者反之，如果我交换了args的顺序）

我认为这是一个简单的问题，但我无法解决它...提前感谢

Answer 1

您必须将模块组合到一个文件中并使它们递归 。 我不相信有两种方法可以从两个单独文件的编译过程中做到这一点。

module rec A : 
    sig
        val f : int -> int
        val g : int -> int
    end = 
    struct
        let f x = (B.g x) + 1
        let g x = x + 1
    end
and B :
    sig
        val f : int -> int
        val g : int -> int
    end = 
    struct
        let f x = (A.g x) + 1
        let g x = x + 1
    end

编辑：从您的评论，我猜你有解析器的类型定义和处理/操作同一文件中的类型的函数。 我同意你的观点，这是有道理的。 但是，就像你曾经历过的那样，如果该文件不仅仅是对类型进行操作而是调用解析器来生成数据，那么解析器将如何构建它呢？ 我的解决方案是将类型分成它自己的模块，并在执行操作的模块中打开该模块。

因此，您将A分为（ A和A' ），其中A'包含由B生成的类型，并在A 。 你的依赖关系成了，

• A需要A'和B和C
• B需要A'

例如，我有一个解析器用于配置文件，我用它来启动我编写的任何应用程序。

 ConfType --contains the type t Conf --calls parser, and contains helper functions for type ConfType.t ConfParser --for ocamlyacc ConfLexer --for ocamllex 

所有这些的替代方案是使用多态变体。 通过这种方式，您可以删除依赖项，因为它们是临时定义的。 当然，解析器生成的类型可能与Conf中的类型不同，编译器无法帮助您解决错误。

Answer 2

Ocaml语言支持模块之间的递归，但编译器不支持编译单元之间的递归。 所以你不能让A.ml需要B.ml和B.ml需要A.ml 如果你可以轻松地重构，去除递归是最好的，但我们假设你做不到。

正如nlucaroni所解释的，一个解决方案是将两个模块收集到同一个文件中并使用module rec 。 另一种解决方案有时是将一个模块转换为仿函数，例如，将A转换为仿函数F ，它接受带有B的签名的参数，并首先编译定义F的文件，然后编译B ，然后编译一个刚定义module A = F(B)的文件module A = F(B) 。

Ocamlyacc确实让事情变得更复杂，但你可以欺骗它！ 您可以在.mly标头中编写module A = functor (...) -> struct ，在.mly匹配的end 。 但是你必须重写产生.mli添加module A : functor (...) -> sig并end作为构建过程的一部分。 （我知道我以前做过，为了解决你遇到的同样的问题，虽然我不记得在哪里，所以我不能给出真实的例子。）

值得研究的另一个可能性是从Ocamlyacc切换到Menhir ，这是一个Ocamlyacc替代品（由于语法相同，几乎没有移植需要）以及一些可以帮助您的好功能，例如支持参数化解析器模块（即仿函数） 。