module - 如何在 utop 中加载 .ml 文件及其对应的 .mli 文件？

Question

简单地说，假设我有一个名为的实现文件moduleExample.ml和一个名为moduleExample.mli.

我怎样才能将它们加载在一起，以使界面中未列出的功能对的签名moduleExample.mli隐藏？此外，如何通过文件进行类型抽象？moduleExample.mlutopmoduleExample.mli

score 1 · Accepted Answer

我认为这样做的正确方法，或者更一般地在顶层加载多个模块和接口的整个项目，是使用构建系统来编译所有模块并将它们链接到顶层。

使用沙丘，您可以dune utop directory按照此处所述进行操作。为了详尽无遗，这里有一个架构示例：

沙丘.ml

(library
  (name dummy)
  (wrapped false)
)

例子

type t = int
let of_int x = x
let to_string = string_of_int
let add = (+)
let print x = print_string (to_string x)

例子.mli

type t
val of_int : int -> t
val print : t -> unit

dune utop .通过执行然后使用#show模块上的指令将所有内容加载到 utop中Ex，给出：

utop # #show Ex;;
module Ex : sig type t val of_int : int -> t val print : t -> unit end

1 回答 1