如何拥有嵌套库？对沙丘等感到困惑

如何解决如何拥有嵌套库？对沙丘等感到困惑

我有一个使用 dune

的 OCaml 项目

遵循基本教程中的建议，我的目录结构如下：

bin/
    cli.ml
    dune
lib/
    dune
    ...
    <various>.ml

我的 lib 目录中的文件数量不断增加，我想要另一个级别的命名空间。

我想要子目录，例如：

lib/
    utils/
        dune
        ...
        <various>.ml
    some_other_domain/
        dune
        ...
        <various>.ml
    dune
    ...
    <various>.ml

而且我希望能够像 Lib.Utils.Whatever

一样打开它们

我认为这一定是可能的？

我尝试在 dune 下制作一个 lib/utils 文件，例如：

(library
  (name utils)
  (libraries ...))

...但 open Lib.Utils.Whatever 似乎不起作用。

我找到了 subdir stanza ...但是如果我将它添加到 lib/dune 并将 utils 定义为子目录 library 那么我不会得到命名空间.. . 我必须open Utils而不是open Lib.Utils

解决方法

将它们称为“嵌套库”实际上有点奇怪，因为您想用 Lib.Utils.Whatever 调用它们。此处的 Utils 是 Lib 的子模块。如果它可以帮助您，这是我能够做的：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── suba
│   │   └── suba.ml
│   └── subb
│       └── subb.ml

与

bin/cli.ml

let () =
  Lib.Suba.a ();
  Lib.Subb.b ()

bin/dune

(executable
 (name cli)
 (libraries lib)
)

lib/dune

(include_subdirs unqualified)

(library
 (name lib)
  (modules suba subb)
)

（如果您像这样包含您的模块，则必须使用这些确切名称来使用它们，另一种获得控制权的方法是添加以下文件并删除 (modules suba subb) 行：

lib/lib.ml

(* here you can give the name you want -- say A -- and use it in bin with Lib.A *)
module Suba = Suba
module Subb = Subb

（总结：

• 要么您的 dune 文件包含 (modules suba subb)
  • 如果子目录包含多个文件，您需要将您正在使用的所有文件放在 (modules ...) 节中，否则编译器将无法使用它们
• 或 lib.ml 文件，其中您要导出的每个模块都应包含在 module MyName = AModule 中（并且仅包含您要导出的模块）
  • 使用此解决方案，您不想导出的模块无需明确包含在 lib.ml 文件中，编译器将在需要时使用它们 )

sub{a|b}/{a|b}.ml

let {a|b} () = Format.eprintf "{A|B}@."

suba.ml 和 subb.ml 用作 lib 的子模块，可以与 Lib.Suba.a() 一起使用，如您在 cli.ml

中看到的

---

请注意，这会禁止您为两个文件提供完全相同的名称，因为这些目录将在父目录中全部展平，因此您不能拥有以下内容：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── suba
│   │   └── lib.ml
│   └── subb
│       └── lib.ml

因为 (include_subdirs unqualified) 会让它看起来像

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── lib.ml
|   └── lib.ml

和 dune 将无法知道要使用哪个 lib.ml 文件。

---

[编辑] 如果您希望每个库有一个目录，您只需删除 dune 根目录下的 lib 文件并为每个子目录创建一个：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── suba
│   │   ├── dune
│   │   └── suba.ml
│   └── subb
│       ├── dune
│       └── subb.ml

唯一的变化是：

bin/cli.ml

let () =
  Suba.a (); (* no more Lib.(...) *)
  Subb.b ()

bin/dune

(executable
 (name cli)
 (libraries suba subb)
)

lib/dune 已被删除

lib/sub{a|b}/dune

(library
 (name sub{a|b})
)

在这种情况下，不同目录中的多个文件可以具有相同的名称。