ocaml - 我们可以在 OCaml 的函数内定义类型吗？

Question

我是 OCaml 新手。我想定义一种仅在一个函数中使用的类型。我不想让它在该函数之外可用。我们可以在该函数中定义它吗？或者有其他方法可以达到同样的目的吗？

Answer 1

如果您有最新版本的 OCaml，您可以使用本地模块:

let f x =
  let module Local = struct
    type t = A | B
  end in
  ...

不过，在顶层定义类型并将其保留在 .mli 之外可能更自然:这将使其全局隐藏，尽管它对其他代码可见文件。