module - OCaml 模块中的私有(private)值？

Question

是否可能有一个 let 绑定(bind)(无论是函数、值等)对其模块私有(private)，并且从外部不可见？

假设我们有A.ml:

let exported = 1
let local = 2

我只希望可以从其他模块访问exported。 B.ml:

let a = A.exported
let error = A.local (* This should error *)

类似于 let%private 在 Reason 中所做的。

Answer 1

这就是签名和 mli 文件背后的动机:它们允许向外部世界隐藏信息，并且只公开 API 的相关部分，而不公开实现细节。在你的情况下，它看起来像

(* A.ml *)
let exported = 1
let local = 2

和

(* A.mli *)
val exported: int

然后只有 exported 在 A.ml 之外可见。