如何在OCaml中从目录引入模块？以指定目录结构场景为例

针对你给出的目录结构：

└── bin
    ├── file_1.ml
    └── directory
        └── file_2.ml

下面分两种常用场景说明如何在file_1.ml中访问file_2.ml的内容：

1. 直接使用OCaml原生编译器（ocamlc/ocamlopt） #

OCaml编译器默认不会自动搜索子目录，需要手动指定包含路径：

• 在file_1.ml中直接引用file_2.ml对应的模块（模块名为文件名首字母大写的形式，即File_2）：

  (* file_1.ml *)
  (* 方式1：直接调用模块内的函数 *)
  let () = File_2.some_function ()
  
  (* 方式2：先打开模块，再调用 *)
  open File_2
  let () = some_function ()
  

• 编译时通过-I参数将子目录加入搜索路径：

  # 编译为字节码程序
  ocamlc -I directory directory/file_2.ml file_1.ml -o my_program
  
  # 编译为原生代码程序
  ocamlopt -I directory directory/file_2.ml file_1.ml -o my_program
  

2. 使用Dune构建工具（推荐） #

Dune是OCaml生态的标准构建工具，能自动处理目录和依赖：

1. 在bin目录下创建dune文件，配置可执行文件的依赖和包含目录：

   (executable
    (name file_1)
    (include_dirs directory))
   

2. 在file_1.ml中引用子目录模块，此时可以通过Directory.File_2的形式访问（Dune会自动识别子目录结构对应的模块路径）：

   (* file_1.ml *)
   let () = Directory.File_2.some_function ()
   

3. 运行构建并执行程序：

   # 构建程序
   dune build bin/my_program.exe
   
   # 直接运行程序
   dune exec bin/my_program.exe
   

如果子目录下有多个文件，还可以将子目录封装为一个库：

• 在directory目录下创建dune文件：

  (library
   (name directory)
   (modules file_2))
  

• 修改bin/dune文件，依赖这个库：

  (executable
   (name file_1)
   (libraries directory))
  

• 此时file_1.ml中依然可以用Directory.File_2访问目标内容。

内容的提问来源于stack exchange，提问作者Dav